User blog comment:P進大好きbot/Elementary Large Number beyond PTO(Π11-CA0)/@comment-34422464-20190603175154/@comment-34422464-20190603230349

How did you learn to do proofs though? And how do you come up with these ideas?