https://9dok.net/document/zpn734ov-primitiv-rekursive-funktionen-p-n.html