>>170
そもそも証明が完全に公表されて無いんじゃなかったっけ