Extension of Euclid's lemma
236
Proof of general Euclid's Lemma in a UFD (by Euclidean algorithm?)
83037
Applying Zorn's Lemma to natural numbers
3420
Uniqueness of Extended Euclidean Algorithm
156850
Fix-Point Theorem Proof.
28218
Elementary proof for $\sqrt[3]{xyz} \leq \dfrac{x+y+z}{3}$
15851
the converse of Schur lemma
153054
Euler characteristic for non-convex polyhedra.
56010
Strengthening of a lemma in Ramsey Theory: $R(m, n) \le R(m-1, n) + R(m, n-1)-1$ if both numbers are even
156727
A step in the proof of Characterization of $W^{1,\infty}$
157155
How is HCF (c, d) = HCF (d, r), where c = dq +r (by Euclid's division lemma)?
61810
An application of Borel-Caratheodory theorem
12949
Inductive Proof of Euler's Formula $v-e+r=2$
106157
Proof of Euclid's lemma using fundamental theorem of arithmetic
121742
Solve a system of equations with Euclid's Algorithm
86308
Yoneda-Lemma as generalization of Cayley`s theorem?
137608
Proof of Euclid's formula for primitive Pythagorean Triples
142219
Does the splitting lemma hold without the axiom of choice?