618 = 2 * 309 ;
then 2 divides 618 ;
hence not 618 is prime ; :: thesis: verum