Separation Theorems in Hilbert Spaces as Bases of Convex Programming - Ferreira, M. A. M. (Digital, 2025)