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

The two theorems:
The profs in [1].

References

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