demethylphylloquinone + CO2 + diphosphate => 2-carboxy-1,4-naphthoquinone + phytyl diphosphate + H(+)
demethylphylloquinone + co2 + diphosphate => 2-carboxy-1,4-naphthoquinone + phytyl diphosphate + h(+)