theorem :: MODAL_1:4

canceled;