Prove theorem 4