theorem ChiRandom: :: FINANCE6:5
for Omega being non empty set
for F being SigmaField of Omega holds chi (Omega,Omega) is b2, Borel_Sets -random_variable-like Function of Omega,REAL