Bauxite is formed after the decomposition of surface rocks. The soluble constituent within rocks evaporates and what is left behind as residue is the ore of Bauxite from which then Aluminium is extracted.