theorem Th43: :: NUMBER17:43

for n being Nat
for c being Complex holds n |-> (c ") = (n |-> c) "