1712 = 2 * 856 ;
then 2 divides 1712 ;
hence not 1712 is prime ; :: thesis: verum