>75nCn-2=nC2=n(n-1)/2
>83 A=b^{log[b](A)}
log[b](A)=xと置くと
A=b^x よってA=b^{log[b](A)}