Constant length of the projection of the normal of a parabola