Сочетания типа по теореме X являются скорее обстоятельством причины (≈ «поскольку такова теорема Х»), нежели ссылкой на источник информации; теорема может быть приведена в разных источниках, созданных разными авторами. Конструкции вроде по словам учёных или по расчётам кого-то заключают в себе субъективность, то есть высказывание основано на мнении, данных или расчётах, которые могут быть подвержены изменению интерпретации или оценке. Такая субъективность характерна для вводных конструкций. 

При этом сочетания типа по теореме Х могут быть выделены запятыми, как и любые другие обстоятельства, для попутного пояснения или смыслового выделения. 

Цитируем "Русскую грамматику" (М., 1980):

 В сочетании с числ. пять, шесть (и далее) слово человек во всех падежах выступает в формах мн. ч., образованных от основы человек-, а не от супплетивной основы форм мн. ч. лю|д'|-: человек, человекам, человеками, о человеках (пять человек, с семью человеками). В сочетании с числ. два, оба, три, четыре перечисленные словоформы мн. ч. выступают во всех падежных формах, кроме формы им. п. (не было и двух человек, речь идет о трех человеках). При сочетании с формой им. п. этих числительных выступает словоформа род. п. ед. ч. (два человека, три человека, оба человека).

При наличии определения в сочетаниях с числ. пять, шесть (и далее) во всех падежах и с числ. два, три, четыре в косв. пад. может употребляться слово люди: пять незнакомых человек и пять незнакомых людей, не было и трех взрослых человек и не было и трех взрослых людей.

Запятая требуется: Вроде бы и правильно написано, но, прочитав, можно подумать, что Гарсия ночью, пока все спали, надел форму сборной, пробрался на поле и забил три мяча. По правилам обособления обстоятельств деепричастный оборот, находящийся после союза или союзного слова, отделяется от него запятой (союзы не включаются в деепричастный оборот).

Прилагательное в краткой форме смущена пишется по сложившейся традиции, которая закреплена в словарях. Это отглагольное прилагательное, как и многие другие, не подчиняется правилу. Как раз сейчас Орфографическая комиссия РАН занимается этой проблемой. Надеемся, что правило удастся уточнить. 

Возможны варианты: сапоги до колена и сапоги по колено.

Специальное название нам неизвестно.