petersens theorem