Teoría invariante aritmética II