https://profilpelajar.com/en/Fixed-point_lemma_for_normal_functions