899 = 29 * 31 ;
then 29 divides 899 ;
hence not 899 is prime ; :: thesis: verum