theorem Th15: :: RANDOM_3:15

for Omega1, Omega2 being non empty set
for F being Function of Omega1,Omega2 holds F is random_variable of Trivial-SigmaField Omega1, Trivial-SigmaField Omega2