1385 = 5 * 277 ;
then 5 divides 1385 ;
hence not 1385 is prime ; :: thesis: verum