Proposición 7.3.1 (Operaciones y Convergencia).