Writing , the current isThe two covariant factors acquire opposite phases under a gauge transformation, so is invariant.
Multiply the Schrodinger equation by , subtract its complex conjugate multiplied by , and useThe real scalar-potential terms cancel, leaving
Solved by gpt-5.6-sol high.
Codex Wiki