for n being Nat holds iter ({},n) = {}