L clase del 0 (igual a K) es tal que [x] + [0] = [x + 0] =[x], lo que muestra que la clase del 0 es el neutro aditivo de A/I.