The complete formal normal form for the Bogdanov–Takens singularity

We solve completely the problem of formal classification of the vector fields of the form $\dot x=y+\dots$, $\dot y=\dots$ using formal changes of the coordinates but not of the time. In the proofs we avoid complicated calculations. The method we use is effective and can be applied in other classification problems.