Existence of infinitely many minimal hypersurfaces in closed manifolds - Antoine Song (2018)