Embedding S(X) into S(Y) - Magill, K. D. (Rozprawy matematyczne, 1974)