789 = 3 * 263 ;
then 3 divides 789 ;
hence not 789 is prime ; :: thesis: verum