Category:Ackermann-Péter Function is Strictly Increasing on First Argument