In the commercial electrochemical process for aluminium extraction the electrolyte used is (a) Al(OH)3 in NaOH solution