>>345
高木くんいわく命題Bを導くのに、奇数の完全数が存在する（仮定x）という仮定に加えて何らかの仮定（仮定y）が必要と言ってるらしい

命題Aを真として、命題Bが矛盾するから仮定yは偽、だから仮定xは偽だという謎理論だから問いただしてる最中