Piotr Beling (Uniwersytet Łódzki), Twierdzenia Bouton'a oraz Sprague'a-Grundy'ego