1255 = 5 * 251 ;
then 5 divides 1255 ;
hence not 1255 is prime ; :: thesis: verum