Формула Граммана: доказательство и применение