58 = 2 * 29 ;
then 2 divides 58 ;
hence not 58 is prime ; :: thesis: verum