1618 = 2 * 809 ;
then 2 divides 1618 ;
hence not 1618 is prime ; :: thesis: verum