>>420

・Reddit にあったコメント.

スピヴァクの本のこのジョークが好き:
「この定理の証明:これは、私たちが導入した定義から自明です。
QED

注: この定理が本当に自明なのではなく、私たちがこのように主張できるように定義を作成したのです。」