Prove that Finite B knowing that Finite A and there exists a surjection f from A to B.
Finite B
Finite A
f
A
B