y si es irreflexiva, se cumple: