1985 = 5 * 397 ;
then 5 divides 1985 ;
hence not 1985 is prime ; :: thesis: verum