Alternate proof for the Schröder–Bernstein theorem: https://lucaman99.github.io/munkres/7/6.html Hamming codes.