theorem Lemma73: :: NUMBER06:54

for k being Nat st k >= 1 holds
(30 * k) + 7 is not_representable_by_sum_or_difference_of_two_primes