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