Root Reflections Lie in the Weyl Group