petr-neumann-douglas theorem