Las demostraciones de estos dos teoremas y de la tercera propiedad usan el axioma de unicidad.