Como eso es válido para todo k, (x-y) y ax están en I.