スナーク狩りの彼等からはグリムはキャロル川モデルのベイカーに見えている①
プニキからはグリムが大人のロビカスに見えている②
グリムの中にキャロル川が入っているのは確定的に明らか③
ロビカスのモデルはミルンの息子である(つまり似ている)④
①～④よりグリムの中にはプニキの作者ミルンが入っていることが分かる
ミルンの妻の名前はドロシー。よってグリムの本妻は師匠であるQED証明完了