An isomorphism of schemes over induces a bijection on rational points. A real point of this projective plane curve would be represented by a nonzero real triple with . Each summand is nonnegative, so every coordinate would vanish. Thus , whereas . The two real schemes are not isomorphic. The obstruction is the real conic without real rational points; nonsingularity alone does not make a real conic a projective line over its ground field.