https://1library.net/document/yeeg46ry-fixed-points-generalized-local-commutativity-compact-case.html