Prototipo de ISW para Reino Aritmético