438 = 2 * 219 ;
then 2 divides 438 ;
hence not 438 is prime ; :: thesis: verum