theorem Th3: :: RANDOM_2:3

for Omega being non empty set holds Omega --> 1 = chi (Omega,Omega)