>>what is the well known theorem by J-P serre  and how do he prove his theorem?