how to prove theorem 4 and 5