فرض کنید S یک رشتهی دودویی l رقمی باشد. به ازای هر 0≤i≤l منظور از fS(i) تعداد ارقام ۱ در i رقم سمت چپ رشته است. برای مثال اگر S=110100 باشد، fS(0)=0,fS(3)=2.
یک رشتهی دودویی را سلطانی گوییم، هر گاه تعداد ارقام ۰ و ۱ در آن برابر باشد. گوییم رشتهی دودویی l رقمی S1، رشتهی دودویی l رقمی S2 را دوست دارد، هر گاه به ازای حداقل یک 1≤i≤l داشته باشیم fS1(i)=fS2(i−1). ثابت کنید تعداد زوج مرتبهای (S1,S2) از رشتههای دودویی سلطانی 2n رقمی، به طوری که S1، S2 را دوست داشته باشد برابر \binom{2n+1}{n}\binom{2n-1}{n} است.