1892 = 2 * 946 ;
then 2 divides 1892 ;
hence not 1892 is prime ; :: thesis: verum