AB@>2  =0  :>ABOE