霍尔—埃鲁法的原理实质上就是将（）溶解在熔融的（）电解质中，通入直流电，进行电化反应得到金属铝。