Hola, buenas noches.
La consulta viene por el lado de si quiero probar una propiedad, no entiendo porque hay que probarla para la regla en donde aparecen las constantes.
No bastaría probar para la regla donde se introducen las variables??
Gracias saludos