On some consequences of Mazur–Orlicz theorem to Hahn–Banach–Lagrange theorem. (3rd July 2018)