let since is onto, there exists such that and thus for all hence

so by(1): this sum is clearly direct because if then so we only need to show that for all :

for any and we have: thus conversely, if then using (1) we have therefore:

and so for all thus by (1): and therefore Q.E.D.