Theorem 83