Finiteness of Ramification