Entonces se puede escribir R (v, x) para expresar que x demuestra v.