changed theorem 4