No one is claiming it is a tautology for all X and Y, it just happens to be true in this particular case.