https://123dok.net/document/y964no9j-th-eor-eme-de-cantor-bernstein.html