Sea x en K y a un elemento de A.