User blog comment:Vel!/A medley of countability proofs/@comment-5529393-20130515232323/@comment-5929355-20130516092810

Yes.