sección, se pide probar formalmente dichas propiedades.