theorem Th16: :: MUSIC_S1:19

for frequency being Element of RAT_Music
for n being non zero Nat ex harmonique being Element of RAT_Music st [frequency,harmonique] in Class ( the Equidistance of RAT_Music,[1,n])