253 = 11 * 23 ;
then 11 divides 253 ;
hence not 253 is prime ; :: thesis: verum