1: \begin{proof}

2: Property (1) has already been established in the proof of Theorem~\ref{StripFolding:thm:MillingPseudopoly} (see the

3: paragraph on the length calculation which bounds the number of times each grid square is visited and how

4: a grid square can be visited). 

5: 

6: The proof of Property (2) follows by induction on the number of bands in the spanning tree from which the milling tour was constructed. 

7: The base case of one band is trivial as a band has an even number of grid squares.  Thus suppose Property (2) holds

8: for all such trees with fewer than $k$ bands for some $k > 1$.  Assume we have a tree $T$ with $k$ bands. 

9: Consider a leaf of $T$.

10: Let $B_2$ be the band corresponding to the leaf, and let $B_1$ be the band corresponding to the parent of $B_2$. 

11: If we remove $B_2$ from $T$ we get a tree $T'$ with $k-1$ bands, so by induction Property (2) holds. 

12: Adding $B_2$ back, the length of the milling tour between the two visits to a grid square will either

13: be unaffected (in the case where the subtree rooted at the child band corresponding to the grid square does not contain $B_2$)

14:  or it will increase by $|B_2|$ (i.e., the number of grid squares in $B_2$) which is even.

15: Thus Property (2) still holds.  

16: %\xxx[Nadia-18April2011]{Have I proved Property (2) rigorously enough?  I tried to be as concise as possible, just giving

17: %a sketch of the argument.}

18: %\xxx[Erik]{Looks good to me.}

19: 

20: Property (3) follows by the way we constructed the milling tour as a tour of a spanning tree of bands.  

21: We had the freedom to choose whether to turn left or right from a parent band onto a child band,

22: and then the turn direction from the child back onto the parent was forced to be the opposite turn direction. 

23: Hence we can choose the turn directions from parent bands onto child bands in such a way that maintains alternation

24: between left and right turns.  

25: \end{proof}

26: