I think Dan intended this e-mail, which went just to me, to go to the list:

Er, guys, would one of you be so kind as to state what theorem is being discussed here?

The answer: Any isometry of R^n that fixes a k-dimensional subspace is the product of at most n-k reflections. -- g