Entre estas proposiciones se encuentra la primera demostración general conocida del teorema de Pitágoras.