Package of facts and theorems for efficiently generating entanglement criteria for many qubits

We present a package of mathematical theorems that allows us to construct multipartite-entanglement criteria. Importantly, establishing bounds for certain classes of entanglement does not take an optimization over continuous sets of states. These bonds are found from the properties of commutativity graphs of operators used in the criterion. We present two examples of criteria constructed according to our method. One of them detects genuine five-qubit entanglement without ever referring to correlations between all five qubits.