theorem :: MODAL_1:6

canceled;