Petersen's theorem

Etymology
Named after Julius Petersen.

Proper noun

 * 1)  The theorem stating that every cubic bridgeless graph contains a perfect matching.