Interpolation Theorem for First-Order Theories