>>586
IUTT語では論証されてるんだよ
これは間違いない

問題なのは数学語で論証すること