Petersen theorem