Their proofs are given in the subsequent chapters, in which the necessary tools for the proofs are also developed.
Ang kanilang mga proofs ay ibinibigay sa kasunod na Chapters, na kung saan ang mga kinakailangang mga kasangkapan para sa mga proofs ay binuo din.