theorem Th26: :: MUSIC_S1:32

for MS being satisfying_equiv MusicStruct holds the Equidistance of MS is_symmetric_in [: the carrier of MS, the carrier of MS:]