petersen-schoute theorem