Birkhoff-Grothendieck theorem