790 = 2 * 395 ;
then 2 divides 790 ;
hence not 790 is prime ; :: thesis: verum