I c= REAL by NUMBERS:19;
hence not In (I,(bool REAL)) is empty by SUBSET_1:def 8; :: thesis: verum