Theorem 82