Chen–Fox–Lyndon theorem