1235 = 5 * 247 ;
then 5 divides 1235 ;
hence not 1235 is prime ; :: thesis: verum