Sikorski Roman
A theorem on extension of homomorphisms