>>203
>Tの元の並び方は任意でよい
を認める? Y/N

Nなら具体的並び方を示して
Yなら余計な前提(=謎定理)を持ち込む必要は無いと思わない? 思わないならその必要な理由を示して