>>654
間違いを間違いと素直に認めるのも自信のうちです。
リンゴの例えは間違いだったと認めます。
しかし、定理と定義の交換可能性、これは考えてみる価値があるので
もう少し整理してみます。