492 = 2 * 246 ;
then 2 divides 492 ;
hence not 492 is prime ; :: thesis: verum