theorem Th93: :: MUSIC_S1:116

for HPS being satisfying_euclidean Heptatonic_Pythagorean_Score
for f1, f2 being Element of HPS holds intrval (f1,f2) = the Ratio of HPS . (f1,f2)