On the Alexander–Hirschowitz theorem