theorem :: ROUGHIF2:46

for R being finite Approximation_Space
for A, B being Subset of R holds (MarczewskiDistance R) . (A,B) = (delta_1 R) . (A,B)