\omega^{(0)})     \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}     (\omega^{(0)}\wedge \omega^{(0)})     \geqslant      \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}(\omega^{(0)})     \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}(\omega^{(0)})