theorem :: FSM_1:66

for IAlph, OAlph being non empty set
for M1, M2 being non empty finite reduced connected Mealy-FSM over IAlph,OAlph holds
( M1,M2 -are_isomorphic iff M1,M2 -are_equivalent )