[math-fun] Rational points on real Fermat curves