theorem :: WELLORD2:6

canceled;