1415 = 5 * 283 ;
then 5 divides 1415 ;
hence not 1415 is prime ; :: thesis: verum