Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Proof.
Given ε > 0 \varepsilon>0 we apply Theorem 5.1 to
φ + ε \varphi+\varepsilon and ψ \psi . This gives MA ( max { φ + ε , ψ } ) = MA ( φ ) \MA(\max\{\varphi+\varepsilon,\psi\})=\MA(\varphi)
on G ⊆ { φ + ε > ψ } G\subseteq\{\varphi+\varepsilon>\psi\} . Letting ε → 0 \varepsilon\to 0 and using Theorem 3.1 we get
MA ( max { φ , ψ } ) = MA ( φ ) \MA(\max\{\varphi,\psi\})=\MA(\varphi) on G G . Exchanging the roles
of φ \varphi and ψ \psi shows that MA ( φ ) = MA ( ψ ) \MA(\varphi)=\MA(\psi) on G G .
∎