{(x, y, z) | ∃x, ∃y, ∃z, n≧3, x^n + y^n = z^n} = φ