I re-formulate Asaf Karagila's sketch into a proof in detail. The motivation for this conduct is that I would like to truly understand every tiny aspect of Asaf Karagila's ideas, but I'm not sure if the parts that I prove $g(n)$ and $G(n)$ are injective contains any error! Please help me check t...