Demostración: Sea pues formula_155.