M5 · Lesson 2 — Mathematical Reasoning

Theorems, Lemmas,
Propositions & Corollaries

Each word signals a different level of importance.
Reading them correctly tells you where the real contribution is.

01
M5 · L2 — The Four Types

The vocabulary of formal results

Four types of
mathematical statement

Theorem

Major result

★★★★★ Highest importance

The main claim of a paper or section. Always proved. Worth reading carefully.

Lemma

Helper result

★★★ Supporting role

A stepping stone used to prove a theorem. Important but not the main event.

Proposition

Moderate result

★★★★ Significant but smaller

A result worth stating formally but smaller in scope than a theorem.

Corollary

Follows directly

★★ Derived result

A result that follows almost immediately from a theorem. Proof is usually trivial.

02
M5 · L2 — Hierarchy

Weight and importance

The hierarchy
in practice

Theorem
Major claim — always proved fully
Proposition
Significant claim — proved
Lemma
Helper — proved separately
Corollary
Derived — proof brief

When reading a paper, use the labels as a reading guide:

  • Theorem → slow down. This is the heart of the paper.
  • Lemma → understand it, but it's infrastructure.
  • Corollary → trust it follows from the theorem above.
  • Proposition → treat like a small theorem — read carefully.
03
M5 · L2 — In RS Papers

Real examples from RS/ML literature

What they look like
in context

Theorem · BPR paper (Rendle et al., 2009)
"BPR-Opt is the maximum posterior estimator for the problem of personalised ranking with implicit feedback."
Signal: this is their central claim — the BPR loss is Bayesian-optimal. Everything else in the paper supports this.
Lemma · LightGCN (He et al., 2020)
"The embedding propagation of LightGCN is equivalent to applying a low-pass filter on the user-item interaction graph."
Signal: this lemma supports their claim that simplification improves performance — it's the theoretical explanation.
Corollary · From a convergence theorem
"As a corollary of Theorem 1, the regularised MF objective is strictly convex in each parameter block."
Signal: follows from the theorem above. The proof is one line. Don't spend time here.
04
M5 · L2 — Reading Strategy

Practical reading skill

How to read a theorem
without getting lost

Every theorem has the same structure:

  • Conditions (hypotheses) — "Let... assume... given..."
  • Conclusion — "then... it follows that... we have..."
  • Proof — the logical path from conditions to conclusion

Read the conclusion first. Before reading the proof, understand what is being claimed. Then read the conditions. Then the proof.

"Theorem: conditions → conclusion.
Lemma: helper for theorem.
Corollary: theorem → this follows."

Once you see this pattern, you can navigate any theory-heavy paper without reading every line of every proof.

05
M5 · L2 — Classification Exercise

Practice recognition

What type is each
statement?

Statement A
"The BPR objective can be decomposed into independent user-specific subproblems."
→ Think: is this the main result, a helper, a consequence, or moderate in scope?
Statement B
"Under mild regularity conditions, stochastic gradient descent on the BPR objective converges to a local optimum."
→ This is the central result about the training algorithm. What type?
Statement C
"It follows immediately that the optimal solution satisfies the KKT conditions."
→ "Follows immediately" — what does that signal?

A = Lemma (helper). B = Theorem (main result). C = Corollary (follows from B). Answers in L3 warm-up. 🎯

06
M5 · L2 — Key Takeaways

What to remember

Theorem

The main event

The central claim. Always proved. Where the contribution lives.

Lemma

The scaffolding

Helper result. Important for the proof but not the contribution itself.

Proposition

A smaller theorem

Significant but scoped. Read like a theorem but expect a more modest claim.

Corollary

The consequence

Follows almost automatically. Brief proof. Read quickly.

Next: M5 · L3 — Proof Structures

07
← → arrow keys to navigate
1 / 7