Birkhoff-Grothendieck theorem
 
x
OK