995 = 5 * 199 ;
then 5 divides 995 ;
hence not 995 is prime ; :: thesis: verum