FLT was no less a tautology before it was proved. We just weren't sure about it. Proofs only change us, not math.