The division algorithm for ideals of algebraic power series satisfying Hironaka’s box condition is shown to be finite when ...