Corrections to proximity effects in electron beam lithography. I. Theory | Synapse