Equivalence between exactness of additive functors Given $R,S$ rings with unity, let $F: \textbf{mod-R} \longrightarrow \textbf{mod-S}$ a covariant additive functor between the categories of right modules.
We say that $F$ is exact when it preserves short exact sequences, ie: given $0\rightarrow A \stackrel{f}{\to} B\stackrel{g}{\to} C\rightarrow 0$ exact, the sequence $0 \stackrel{}{\to} FA \stackrel{F(f)}{\to} FB \stackrel{F(g)}{\to} FC \stackrel{}{\to}0$ is exact.
I want to do the following exercise:

Prove that F is exact if, and only if, for all exact sequences
  $A\stackrel{f}{\to}B\stackrel{g}{\to}C$, the sequence $FA
 \stackrel{F(f)}{\to} FB \stackrel{F(g)}{\to} FC$ is exact.

What I tried:
1) I observed that a sequence $A\stackrel{f}{\to}B\stackrel{g}{\to}C$ is exact if, and only if, the sequence $0\stackrel{}{\to} ran(f)\stackrel{i}{\to}B\stackrel{\pi}{\to} B/ker(g)\stackrel{}{\to}0$ is exact. 
2) Also, I noticed that if $F$ is exact then it preserves injections and surjections between modules. 

Let


*

*for all exact sequences $A\xrightarrow fB\xrightarrow gC$, the sequence $FA\xrightarrow{F(f)}FB\xrightarrow{F(g)}FC$ is exact;

*for all exact sequences $0\to A\xrightarrow fB\xrightarrow gC\to 0$, the sequence $0\to FA\xrightarrow{F(f)}FB\xrightarrow{F(g)}FC\to 0$ is exact.


Clearly 1. implies 2., because $0\to A\xrightarrow fB\xrightarrow gC\to 0$ is exact if and only if
\begin{gather}
0\to A\xrightarrow fB\\
A\xrightarrow fB\xrightarrow gC\\
B\xrightarrow gC\to 0
\end{gather}
are all exact.
Conversely, let $A\xrightarrow fB\xrightarrow gC$ be exact.
Then $0\to\operatorname{Ker}(f)\to A\xrightarrow f\operatorname{Im}(f)\to 0$ is exact hence $0\to F\operatorname{Ker}(f)\to FA\xrightarrow{F(f)} F\operatorname{Im}(f)\to 0$ is exact, hence $\operatorname{Ker}(F(f))=F\operatorname{Ker}(f)$ and $\operatorname{Im}(F(f))=F\operatorname{Im}(f)$ and, similarly, $\operatorname{Ker}(F(g))=F\operatorname{Ker}(g)$ and $\operatorname{Im}(F(g))=F\operatorname{Im}(g)$.
Consequently,
\begin{align}
\operatorname{Im}(F(f))&=F(\operatorname{Im}(f))\\
&=F(\operatorname{Ker}(g))\\
&=\operatorname{Ker}(F(g))
\end{align}
hence $FA\xrightarrow{F(f)}FB\xrightarrow{F(g)}FC$ is exact as wanted.
