Theorem 5 and 6
Informatie: Theorem 5 and 6