270 = 2 * 135 ;
then 2 divides 270 ;
hence not 270 is prime ; :: thesis: verum