Tietäväinen, A. On the Nonexistence of Perfect 4-Hamming-Error-Correcting Codes. Ann. Fenn. Math. 1971.