Gruber-Mann theorem