It's like a tautology: "In logic, a tautology is a formula or assertion that is true in every possible interpretation."