modified theorem 2 proof