 Theorem 2.  Let \(\bL\) be a finitary and finitely algebraizable logic with the deduction-detachment property. Then \(\bL\) has the Craig interpolation property if and only if \(\bAlg\bL\) has the amalgamation property.