On the Hartshorne–Hirschowitz theorem