Deluca's 2023 proof.PDFf (1)