Prove Cooks Theorem In Daa