Publisher version (open access) of On the Bartle-Graves theorem