[en] We show to the two-loop level that the decoupling theorem of Appelquist and Carazzone is valid, and a consistent light effective field theory exists, for quantum electrodynamics renormalized by minimal subtraction. It is also shown that irreducible, mixed light-heavy graphs must be included when integrating out the heavy fields to obtain the correct effective lagrangian for light particles. (orig.)