 Reflexive pair in an additive category is an internal groupoid

If $f,g:A\rightrightarrows B$ have common splitting $r$ in an additive category, define the composite of $x,y:C\to A$ with $gx=fy$ byThe identity at $b:C\to B$ is $rb$, and the inverse of $x$ is $rfx+rgx-x$. These formulas make the reflexive pair an internal groupoid.