Theorem 71