On boundedness of curves on surfaces of general type

We will talk about Bogomolov's theorem on the boundedness of curves on surfaces of general type. To prove it, we will need Jouanolou’s theorem on the integrability of foliations of codimension one, which guarantees the existence of an algebraic first integral of such a foliation, provided that it has infinitely many algebraic leaves.