1799 = 7 * 257 ;
then 7 divides 1799 ;
hence not 1799 is prime ; :: thesis: verum