Proper noun
the Sprague-Grundy theorem (combinatorial game theory) A theorem stating that every impartial game under the normal play convention is equivalent to a nimber.