Embedding in a perfect code

Abstract

A binary 1-error-correcting code can always be embedded in a 1-perfect code of some larger length