User:Ryan Reich/Beauville-Laszlo theorem