Esta regla se puede afirmar formalmente como: