w00t, a slightly more clean normalization proof