theorem Th14:
  chi(X,Y) is bounded
  proof
    {0,1} c= [.0,1.] by Th13;
    then rng chi(X,Y) c= [.0,1.];
    hence thesis by Th12;
  end;
