Statement Of Cooks Theorem