theorem Lemma30kOdd: :: NUMBER06:53

for k being Integer holds (30 * k) + 7 is odd