Theorem 4
35