1253 = 7 * 179 ;
then 7 divides 1253 ;
hence not 1253 is prime ; :: thesis: verum