Theorem 10.10

Information: Theorem 10.10