1183 = 7 * 169 ;
then 7 divides 1183 ;
hence not 1183 is prime ; :: thesis: verum