theorem Th11: :: COUSIN2:12

for X, Y being set holds chi (X,Y) is Function of Y,REAL