[see also: transfer, transition
The passage from bounded f to general f is easily effected.
The properties of A are preserved in the passage from V to C(V).
Now (1) follows after passage to the limit as n→∞.