for F1, F2 being Graph-yielding Function st F1,F2 are_isomorphic holds
card F1 = card F2