Finiteness of the Weyl Group