¿Cómo se aplica?
Cualquier enunciado que aparece en una deducción puede volver a ser escrito al final de la lista de enunciados, siempre que la repetición se produzca en el mismo ámbito en el que aparece el enunciado o en el de una subdeducción interna a éste.
Hay que tener en cuenta que no es correcto exportar enunciados a un ámbito más externo del ámbito en el que se encuentran (Excepto cuando esta exportación es la autorizada por la regla de eliminación de la disyunción). En muchas ocasiones esta regla se aplica, en deducciones relativamente largas, para acercar un enunciado aparecido anteriormente al lugar donde se utilizará, de manera que se mejora la legibilidad.
Suele comentarse como “it” seguido del enunciado iterado