1728 = 2 * 864 ;
then 2 divides 1728 ;
hence not 1728 is prime ; :: thesis: verum