theorem Th84: :: NUMBER14:84

for k, n being Nat st n >= 8 holds
ex m being Multiple of 3 st
( m in seq (k,n) & m is odd )