A trivially true statement, or a statement that is necessarily true by virtue of its form is

>tautology