Este planteamiento se ilustra con el axioma que dice: