Theorem 7
Tiedot: Theorem 7