Diffusion of electrons in the Van Allen Radiation Belt: 1. Treatment of particles with mirroring points at high altitude