解方程真的無解嗎