Kompakt træ for Otto Bernhard Holmgren