[math-fun] Stupid error-correction coding question