As you see in Subsections 5.1 and 5.2, the mathematical structure of the table of Grundy numbers seems to be clear enough, but it is difficult to prove that these mathematical structures do exist, since there are many cases that should be covered in the proof.