>>209
大域的U(1)と局所的U(1)の区別が出来てないのは笑った