Harry,

Did you ever get the formal proof to your induction q.? I'd be interested in it.

Cheers,

P.