F23(n,n+α+2,12(α+1)α+1,12(α+3);x)>0,