\omega^{(0)})     \phi^{\mathrm{ GRC},\pmb{\hat{h}'}}_{V,\mathrm{ \#}}     (\omega^{(0)}\wedge \omega^{(0)})     \geqslant      \phi^{\mathrm{ GRC},\pmb{\hat{h}'}}_{V,\mathrm{ \#}}     (\omega^{(0)})     \phi^{\mathrm{ GRC},\pmb{\hat{h}}}_{V,\mathrm{ \#}}     (\omega^{(0)}