889 = 7 * 127 ;
then 7 divides 889 ;
hence not 889 is prime ; :: thesis: verum