The discussion centers on the possibility of deducing new theorems in undergraduate mathematics, specifically in standardized subjects like Calculus and Real Analysis. While there are indeed more specialized theorems that can be proven at the undergraduate level, they often lack the broader significance that leads to their inclusion in textbooks. The conversation highlights that textbooks primarily feature theorems that provide deeper insights or are essential for proving other results, often referred to as lemmas or propositions. It is noted that creating new theorems or lemmas can be necessary for solving specific problems, particularly in math competitions, but these are typically not valuable in general contexts. Ultimately, the conversation reflects on the nature of mathematical theorems and their classification, emphasizing that many formulas may not hold the weight of traditional theorems.