Hi to all mathematicians (in the forum), does anyone of you knows how to solve this Tautology question?