If \boldsymbol{ab = 0}, then \boldsymbol{a = 0} or \boldsymbol{b = 0}.