DFA-union ∪ isomorphism proved