User blog comment:Vel!/A medley of countability proofs/@comment-1605058-20130516053008

Particularly strong result in this matter is that if there is surjection and injection from A to B at the same time, there is also bijection. Proof of this fact is constructible, although actual construction may require axiom of choice which nobody likes :C