791 = 7 * 113 ;
then 7 divides 791 ;
hence not 791 is prime ; :: thesis: verum