. . . . "Petr\u2013Douglas\u2013Neumann theorem" . . "Petr\u2013Douglas\u2013Neumann theorem" .