" Como K es la preimagen del subanillo nulo de B, es, por la proposición anterior, un subanillo de A, lo que implica cerradura respecto a la resta.