theorem :: MODAL_1:7

canceled;