Jordan-Hölder with uniqueness for semimodular semilattices - Pavel Paták (2019)