Let . For every ,
Thus is a coercive operator. If it is invertible and , the lower bound and the Cauchy-Schwarz inequality give
and therefore . Hence