theorem
  Omega --> the Element of Omega2 is random_variable of F,F2 by LemmaExample;
