[math-fun] FLT question