Female: A→C
g:B→D
Let h: a× b→ c× d.
That's h (
It can be proved to be a single lens and a full lens.
So h has bijectivity.
So A×B≈C×D