456 = 2 * 228 ;
then 2 divides 456 ;
hence not 456 is prime ; :: thesis: verum