87 = 3 * 29 ;
then 3 divides 87 ;
hence not 87 is prime ; :: thesis: verum