1703 = 13 * 131 ;
then 13 divides 1703 ;
hence not 1703 is prime ; :: thesis: verum