1771 = 7 * 253 ;
then 7 divides 1771 ;
hence not 1771 is prime ; :: thesis: verum