586 = 2 * 293 ;
then 2 divides 586 ;
hence not 586 is prime ; :: thesis: verum