Este documento presenta la demostración de que una matriz triangular superior es invertible si y solo si todos los elementos de su diagonal principal son distintos de cero. Explica que se requieren dos demostraciones: una para probar la condición de ida y otra para la condición de regreso. La demostración de ida consiste en suponer que la matriz es invertible y demostrar que los elementos de la diagonal no pueden ser cero, mientras que la demostración de regreso supone que los elementos de la diagonal no son cero para demostrar la invertibilidad de la matriz.