85 = 5 * 17 ;
then 5 divides 85 ;
hence not 85 is prime ; :: thesis: verum