Theorem 140