Leray–Hirsch_theorem loading ...