対称性で次元削減