"These five rules [above] form all that is necessary to render proofs convincing, immutable, and to say all, geometrical; and the eight rules together render them even more perfect."