(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 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'\}$$ and

(All images cut from Showalter's book Monotone Operators in Banach Space)