theorem :: MODAL_1:5

canceled;