theorem :: ACKERMAN:14

Ackermann (4,1) = 65533