demostración de propiedades en relaciones