Mass sum rules of the electron in quantum electrodynamics