補題1. ちんこは体の器官である。
証明: ちんこの定義「男性器の一部で、体内受精をする動物のオスにあり、身体から常時突出しているか、あるいは突出させることができる生殖器官」より成り立つ。▪

補題2. 数学は体の器官ではない。
証明: 数学は学問である。学問は体の器官ではない。よって数学は体の器官ではない。▪

定理. 数学はちんこではない。
証明: 補題1の対偶より、体の器官でないならばちんこでないが成り立つ。
これと補題2より、数学はちんこでない。▪