The mathematical result that underpins this is a bijective map between the positive integers and a unique playing card.