Prove Cooks Theorem Instrument