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

What did you study for math again? (including proof stuff)