\it is without loss of generality to assume that an NFA has only one final state." This problem asks you to prove the statement formally. More specifically, you need to show the following statement: For every NFA M (with possibly many final states), there exists an equivalent NFA M' that has only one final state, i.e. L(M) = L(M').