theorem :: NOMIN_4:23

canceled;