Page "Hartshorne's connectedness theorem" not found :(