任意の美人数学者は性格の悪いブスである。
これは矛盾。
よって美人数学者は存在しない。
これは重要な定理だ・・・・!