22 = 2 * 11 ;
then 2 divides 22 ;
hence not 22 is prime ; :: thesis: verum