for X being set holds chi (X,X) is positive-yielding