Theory_Proofs_2025.pdf