RAT+ c= REAL+ by Lm2, XBOOLE_1:7, XBOOLE_1:86;