A partir de los axiomas de campo^[Campo] se puede demostrar un puñado de propiedades. Dada su maginitud, enlistamos las propiedades para luego demostrarlas respetando el orden de la construcción.
Teorema. (Propiedades de
)
- Unicidad de los nuetros
- Unicidad de los inversos
- Ley de la cancelación de la
y de los no ceros de - El nuetro
nulifica y es el único que lo hace