DFA-union ∪ isomorphism proved
DFA intersection along with language isomorphism proved