Nonrenormalization theorems and fermionic string finiteness