入力列が典型集合内にある限り(少なくともの確率で)、エンコーダは何の誤りも生じない。