M. A. Ferreira,  "Separation Theorems in Hilbert Spaces as Bases of Convex Programming", in EasyChair Preprint Nº 7884, 2025