定理：各k-tape_TMをシミュレートするO(T^2)時間の2-tape_oblivious_TMが存在する