>>302
何が「じゃあ」なのか分からないが
まだ形式的な証明と、普通の数学者の証明の区別も付かないのかなあ、、
もう説明する気無いよ