Strict Upper Bound for Sum of Ackermann-Péter Functions

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

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