theorem :: BAGORD_2:6

canceled;