23 corrected formula

в прямой сумме \dotplus плохо видно точку над плюсом, но она сцуко есть там