86 = 2 * 43 ;
then 2 divides 86 ;
hence not 86 is prime ; :: thesis: verum