Pauli theorem