We call a proof that is not tautological "wrong".