完全列が保存されるためには、"0"→"a"→"b"→"c"→"0" が短完全列であること全てを考える必要はなくて、一部が完全であることだけが必要である。