(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: $$$$
$$$$ I
I give here Proposition 1.1 which the proof uses. $$$$
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'\}$$$$ W_2(0,T) = \{u \in \mathcal V : u' \in \mathcal V'\} $$ and
(All images cut from Showalter's book Monotone Operators in Banach Space)