丁寧に整理したらこうなって、結局これは公式解説の2項バージョンなのであった……