Electric Dipole Polarizability of Atoms by the Hartree—Fock Method. I. Theory for Closed-Shell Systems | Synapse