>>345
公式じゃないな
導出は>>342で大丈夫だと思う。
>>339は相手をしたら負け