Implication Details
Claim: Given a functor whose domain has finite products, if it preserves preserves equalizers and preserves preserves finite products, then it is left exact.
Proof: This follows from the construction of finite limits via equalizers and finite products, see Mac Lane, Ch. V, Theorem 2.2.