[see also: adjust, change, convert, modify, transform, vary
Altering finitely many terms of the sequence un does not affect the validity of (9).
The theorem implies that some finite subcollection of the fi can be removed without altering the span.