theorem :: XBOOLE_1:115

canceled;