130 = 2 * 65 ;
then 2 divides 130 ;
hence not 130 is prime ; :: thesis: verum