set Y = UAp X;
UAp (UAp X) = LAp (UAp X) by Th36;
then BndAp (UAp X) = {} by XBOOLE_1:37;
hence not UAp X is rough ; :: thesis: verum