M. A. Ferreira, "Separation Theorems in Hilbert Spaces as Bases of Convex Programming", in EasyChair Preprint NÂș 7884, Manchester, 2022