Uniqueness of inverse.
Let f : A -> B, r = f's retraction, s = f's section
Thus, r•f = 1A, f•s = 1B
Proof:
r=r•1B=r•(f•s)=(r•f)•s=1A•s=s