theorem Th74: :: NUMBER14:74

for m, n being Nat holds seq (m,n) misses {((m + n) + 1),((m + n) + 2)}