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