Nevertheless, in order to remove this stumbling block, he does not spare himself the trouble of demonstrating the main propositions of his geometry, in the seventh book specially added for this purpose, in a way that remains free of any admixture of infinity.