## Functional Analysis Proposition used in proof of Hahn Banach Extention Theorem

Can anyone see how the proof follows from the part "it follows from (7) that" and how does this prove continuity?? Thanks