1774 = 2 * 887 ;
then 2 divides 1774 ;
hence not 1774 is prime ; :: thesis: verum