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

Theorem
For all $x, y \in \N$:
 * $\map A {x + 1, y} > \map A {x, y}$

where $A$ is the Ackermann-Péter function.