1555 = 5 * 311 ;
then 5 divides 1555 ;
hence not 1555 is prime ; :: thesis: verum