theorem :: Proposition 6 e)
  0 <= (CMap kappa R).(X,Y) <= 1 by XXREAL_1:1;
