全てのレベルでの(2"j"+1)の合計は(2"s"+1)(2"l"+1)に等しくなる。