Hypergraph Lagrange: Auflösung der Frankl-Füredi-Vermutung