5A redefinition of the form by a real constant corresponds to a redefinition of the coupling of the form where is another constant, or equivalently . Therefore this is a redefinition starting at the one-loop order, keeping the leading order definition of fixed. In this lecture note, we do not track such finite renormalization of the coupling very carefully.