mannheims theorem