Malheureusement la troisième équivalence n'a de sens que si x, y, a et b sont réels !

Il faut donc bien préciser qu'on suppose x, y, a et b réels.