theorem :: MODAL_1:2

canceled;