https://123dok.net/document/y4w2oo15-hard-lefschetz-theorem-topology-semismall-maps.html