von dycks theorem