1888 = 2 * 944 ;
then 2 divides 1888 ;
hence not 1888 is prime ; :: thesis: verum