Para formula_8 y formula_9, las siguientes propiedades fundamentales se demuestran correctas: