由AB=O，可以推出A=O，或B=O。