https://9dok.org/document/q052empv-set-h-called-f-invariant-fixed-point-holds.html