>>558
そっか、じゃあ、お前は正しい証明と正しい否定についての話をしているってことでオッケー？？絶対答えてな。