1622 = 2 * 811 ;
then 2 divides 1622 ;
hence not 1622 is prime ; :: thesis: verum