Exige la resolución, la existencia de inversos multiplicativos.