256 = 2 * 128 ;
then 2 divides 256 ;
hence not 256 is prime ; :: thesis: verum