Heidän todisteet on esitetty myöhemmissä luvuissa, joissa tarvittavien välineiden todistukset ovat myös kehittyneet. ###>Their proofs are given in the subsequent chapters, in which the necessary tools for the proofs are also developed.