Verificación de propiedades de probabilidad: demostración de la aplicabilidad axiomática mediante casos específicos.