English Bekić's theorem Cited by user Mathnerd314159 on 07 Mar 2022 In computability theory, Bekić's theorem or Bekić's lemma is a theorem about fixed-points which allows splitting a mutual recursion into recursions on one variable at a…