ON A THEOREM OF AX.