A theoretical proof on the error-bounded low-rank representation of integral operators for large-scale 3-D electrodynamic analysis