use the (cheated) lemmas to prove two more cheats