What about the reciprocal of Heine theorem?
138815
For which conditions on countable sets does continuity implies uniform continuity
30380
Proof and meaning of Noether's theorem
56446
A kind of converse of Lagrange's Theorem
65700
Deriving Birkhoff's Theorem
22441
Does the sum of reciprocals of primes converge?
120065
Niven’s theorem proof.
100257
Converse to Hilbert basis theorem
29810
Derivation of a generalization of Mertens' Third Theorem.
81157
Consequences of the new theorem in QM?
122041
Emmy Noether's theorem in simpler terms
91482
Is there a short proof for the Intermediate Value Theorem
9484
Why does the sum of the reciprocals of factorials converge to $e$?
15187
Integer reciprocals in arithmetic progression
76959
Uses of quadratic reciprocity theorem
113840
Does converse of Lagrange's theorem hold for a group of order 21?
44259
Heine-Borel Theorem ($\mathbb{R}^k$) (in ZF)
152997
Is there a kind of Noether's theorem for the Hamiltonian formalism?