1285 = 5 * 257 ;
then 5 divides 1285 ;
hence not 1285 is prime ; :: thesis: verum