# Composition is the only independent rule in Kleene's model of partial recursive functions

** The two theorems:**

**Theorem 1:** The primitive recursive rule is reducible to repeated applications of specific compositions.
**Theorem 2:** The minimization (least-search) rule is reducible to repeated applications of specific compositions.

The profs in [1].

## References

[1] Gheorghe M. Stefan: "Composition is the only independent rule in Kleene's model of partial
recursive functions",