164 = 2 * 82 ;
then 2 divides 164 ;
hence not 164 is prime ; :: thesis: verum