(Crossposted from MSE due to no replies) I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the image for that part: $$$$ ![enter image description here][1] $$$$ I give here Proposition 1.1 which the proof uses. $$$$ ![enter image description here][2] I do not understand how it's used in the proof. I'd appreciate an explanation. Thank you. ---------- Here, $$W_2(0,T) = \{u \in \mathcal V : u' \in \mathcal V'\}$$ and ![enter image description here][3] ---------- (All images cut from Showalter's book *Monotone Operators in Banach Space*) [1]: https://i.sstatic.net/BQ58G.png [2]: https://i.sstatic.net/gDNle.png [3]: https://i.sstatic.net/3rNxb.png