Theorem 5 and 6
Information: Theorem 5 and 6