799 = 17 * 47 ;
then 17 divides 799 ;
hence not 799 is prime ; :: thesis: verum