1265 = 5 * 253 ;
then 5 divides 1265 ;
hence not 1265 is prime ; :: thesis: verum