theorem
  Partition is halt-free shiftable;
