1807 = 13 * 139 ;
then 13 divides 1807 ;
hence not 1807 is prime ; :: thesis: verum