If $\varphi_{1},\dots,\varphi_{n-1}$ are bounded $\theta$-psh functions on $X$, then the bilinear form

$$(\varphi,\psi)\mapsto\int(-\varphi)\,dd^{c}\psi\wedge(\theta+dd^{c}\varphi_{1})\wedge\dots\wedge(\theta+dd^{c}\varphi_{n-1})$$

is well-defined and positive semidefinite on the vector space spanned by the set of bounded $\theta$-psh functions.