Theorem 116