Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la forma: