Birkhoff–Grothendieck theorem