もっと一般に、複素数の有限列 {a_λ}_λ∈Λ について
Σ_(L⊂Λ) (-1)^(#L) |Σ_(λ∈L)a_λ|
の符号について何か言えたりするんだろうか

あとは >>809 の主張が一般のバナッハ空間でも成り立つかどうかという拡張も考えられそう