已知abc不等于零