1706 = 2 * 853 ;
then 2 divides 1706 ;
hence not 1706 is prime ; :: thesis: verum