证明xy=0当且仅当x=0 or y=0时成立