Сочетания типа по теореме X являются скорее обстоятельством причины (≈ «поскольку такова теорема Х»), нежели ссылкой на источник информации; теорема может быть приведена в разных источниках, созданных разными авторами. Конструкции вроде по словам учёных или по расчётам кого-то заключают в себе субъективность, то есть высказывание основано на мнении, данных или расчётах, которые могут быть подвержены изменению интерпретации или оценке. Такая субъективность характерна для вводных конструкций.
При этом сочетания типа по теореме Х могут быть выделены запятыми, как и любые другие обстоятельства, для попутного пояснения или смыслового выделения.
Последние ответы справочной службы
В теле каком? — ставшем каким? — свободным.
Сочетание с дозволения N является обстоятельственным оборотом со значением условия (= «если дозволит N»), а такие обороты не требуют обособления. Однако в данном случае сочетание носит характер этикетной формулы, выделяемой с помощью запятой: С дозволения Всевышнего Аллаха, мы приведём изречения из Священного Корана.
Сравним этикетный оборот с вашего позволения, например: С вашего позволения, я расскажу для начала историю жонглера, попавшего в рай… [А. П. Ладинский. Анна Ярославна ― королева Франции (1960)].
Страница ответаЗнаки препинания расставлены корректно.
Страница ответа