989 = 23 * 43 ;
then 23 divides 989 ;
hence not 989 is prime ; :: thesis: verum