The virtual corrections to the production cross section of a Standard Model Higgs boson are computed up to order α s . Using an effective Lagrangian for the limit Mt → ∞, we evaluate the relevant massless two-loop vertex diagrams by mapping them onto three-loop two-point functions, following a method recently introduced by Baikov and Smirnov [1]. As a result, we find a gauge-invariant contribut...