Prove Theorem 6 1 Class Real Estate