It created mathematical proof for the Pythagorean theorem, and a mathematical formula for Gaussian elimination.
Creou unha demostración para o teorema de Pitágoras, e unha fórmula matemática para a eliminación de Gauss.