Kinoshita–Lee–Nauenberg_theorem loading ...