theorem :: NOMIN_5:8

canceled;