This chapter proves various normal form results and formulates the coordinate changes that are used to derive the slow system at the double resonance. The discussions here apply to arbitrary degrees of freedom. The results also apply to the proof of the main theorem by restricting to the case n = 2. First, the chapter reduces the system near an n-resonance to a normal form. After that, it performs a coordinate change on the extended phase space, and an energy reduction to reveal the slow system. The chapter then describes a resonant normal form, before explaining the affine coordinate change and the rescaling, revealing the slow system. Finally, it discusses variational properties of these coordinate changes.