https://123dok.net/document/z3dm73j9-a-subset-a-of-e-is-separating-λm.html