And what the author goes and shows are equalities, not tautologies.