It’s not being stolen because he would have published it knowing the copyright laws. Also even with copyright laws as they are, selling unlicensed copies isn’t theft. It’s illegal but no stealing is involved.