1402 = 2 * 701 ;
then 2 divides 1402 ;
hence not 1402 is prime ; :: thesis: verum