从一元一次方程到伽罗瓦理论