Harnack's curve theorem

Etymology
Named after.

Proper noun

 * 1)  In real algebraic geometry, a theorem that describes the possible numbers of connected components that an algebraic curve can have, in terms of the degree of the curve.