modified Theorem 2 proof