22KiB, 957x83, maty.png View SameGoogleiqdbSauceNAO Anonymous Sat 23 Nov 14:14:36 2019 No.11170616 ViewReplyOriginalReport Quoted By: Why does such a simple theorem have such a clusterfuck of a proof?