等周問題は一般次元で解けている