Prove Cooks Theorem