1720 = 2 * 860 ;
then 2 divides 1720 ;
hence not 1720 is prime ; :: thesis: verum