skiコンビネータ計算のsとkによる最もシンプルな不動点コンビネータは、ジョン・トロンプによって発見された以下であり、