二、巧用积分换元，证明电磁势构成四维矢量