Inter-universal geometryとABC予想(シン応援スレ) 85

Assuming γ^2∈R＼Q → γ∈R＼Q.
But γ∈Q → γ^2∈Q.
A contradiction arises.
∴ γ^2∈Q ∴ γ∈Q.