A c= REAL by MEMBERED:3;
hence r ** A is bounded_above by INTEGRA2:12; :: thesis: verum