theorem :: NOMIN_1:1

canceled;