[= as a result of that]
Clearly, $A$ is thereby put in one-to-one correspondence with $B$.
So $F$ must be constant on $H$, thereby showing that $A=B$, as desired.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z