1345 = 5 * 269 ;
then 5 divides 1345 ;
hence not 1345 is prime ; :: thesis: verum