[andoando]

I mean it would be ridiculously easy to make up any number of incorrect proofs.

It would have to show something new and interesting.