theorem Th39: :: MUSIC_S1:47

for frequency being Element of RAT_Music ex fr being positive Rational st
( frequency = fr & Fifth (RAT_Music,frequency) = (3 / 2) * fr )