Định lý Petr–Douglas–Neumann