Arndt–Eistert synthesis