Euler, Stirling, and Wallis: A Case Study in the Notion of Equivalence between Theorems