1211 = 7 * 173 ;
then 7 divides 1211 ;
hence not 1211 is prime ; :: thesis: verum