807 = 3 * 269 ;
then 3 divides 807 ;
hence not 807 is prime ; :: thesis: verum