You can proof a lot of trivial things that nobody has bothered to proof. Then what?