konieczność

A⁺ A^-