P
Initializing...
Subadditivity of the positive index: $n_+(Q_1 + Q_2) \le n_+(Q_1) + n_+(Q_2)$ · Prove2Me