ゲージ対称性って、どういう対称性でそこから何が導き出されるんですか?