>>718
型を実数にしているだけであって、その実数の値が整数(型ではなく、小数以下が0という意味において)
でなければならないという論理で証明している。このような簡単な事も分からない人間がいるのだろうか？