All mathematics is tautology.