The case m = 1 {\displaystyle m=1} was proven by Anthony P. Morse in 1939 (Morse 1939), and the general case by Arthur Sard in 1942 (Sard 1942).
Випадок m = 1 був розглянутий Ентоні Морсом (Anthony P. Morse) у 1939, а загальний випадок Артуром Сардом (Arthur Sard) у 1942.