Redirecting to Sprague–Grundy theorem