985 = 5 * 197 ;
then 5 divides 985 ;
hence not 985 is prime ; :: thesis: verum