[= 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.