0158132人目の素数さん垢版 | 大砲2018/01/04(木) 11:20:40.00ID:h0lPBL80 >>156 多分既出だよ。 どこかの大学の数学科のテストやレポートの問題として出てもおかしくない命題の証明だろうし、 pdf の証明全体を大学一年レベルの数学による証明に置き換えた証明も出来るしな。