A Natural Transformation between the Completeness and Compactness Theorems in Classical Logic. - Joaquim Reizi Barreto (CoRR, 2025)