Aritmética progressiva - Trajano, Antonio (Francisco Alves, 1952)