Se crearon pruebas sobre el Teorema de Pitágoras y una formulación matemática de la eliminación de Gauss-Jordan.