458 = 2 * 229 ;
then 2 divides 458 ;
hence not 458 is prime ; :: thesis: verum