theorem :: NOMIN_6:6

canceled;