785 = 5 * 157 ;
then 5 divides 785 ;
hence not 785 is prime ; :: thesis: verum