如果a×b=0,那么( ) ①a为0②b为0③a,b都为0④a与b中一定有一个为0