是谁证明了通电螺线管周围有磁场