Gromov (1981) gave an alternate proof using the Gromov norm.
Gromov (1981) は、グロモフノルム（英語版）(Gromov norm)を使い、別な証明を与えた。