2024. Applying inductive-deductive reasoning to the resolution of a mathematical proof problem. Transformación. 16, 2 (Jun. 2024), 235–246.