>>392
= の定義で矛盾がおこるよ、普通の数のようには扱えない