1772 = 2 * 886 ;
then 2 divides 1772 ;
hence not 1772 is prime ; :: thesis: verum