1729 = 7 * 247 ;
then 7 divides 1729 ;
hence not 1729 is prime ; :: thesis: verum