Se aprecia que el verbo "probat" tiene el significado de «demuestra la existencia» (y no «demuestra la corrección») de la regla mencionada.