theorem Th17: :: COUSIN2:20

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