theorem ChiRandom: :: FINANCE6:8

for Omega being non empty set
for F being SigmaField of Omega holds chi (Omega,Omega) is_random_variable_on F, Borel_Sets