893 = 19 * 47 ;
then 19 divides 893 ;
hence not 893 is prime ; :: thesis: verum