On Fundamental Proof Structures in First-Order Optimization | IEEE Conference Publication | IEEE Xplore