a=0或b=0是ab=0的必要条件（）。