for n, k being Nat
for f being FinSequence of COMPLEX st k in dom (f | n) holds
k in dom f