Al_2O_3 + 6HI = 2AlI_3 + 3H_2O