Is it true?

Yes it is, if it is a tautology.

A tautology (from the Greek word ταυτολογία) is a formula which is true in every possible interpretation

Most mathematical theorems are tautologies.  Nevertheless it is not obvious to everyone.