1250 = 2 * 625 ;
then 2 divides 1250 ;
hence not 1250 is prime ; :: thesis: verum