Theorem 5 and 6
Tiedot: Theorem 5 and 6