ゲージ原理まで一般化した方がこの手の話は明朗になる。