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