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