Запятая нужна: Все устали, и хотелось отдохнуть.

Важно знать, на какой слог падает ударение в фамилии Трота. 

Все фамилии, кончающиеся на неударное а после согласных, склоняются по первому склонению: Рибера — Риберы, Рибере, Риберу, Риберой, Сенека — Сенеки и т. д.; так же склоняются Кафка, Спиноза, Сметана, Петрарка, Куросава, Глинка, Дейнека, Гулыга, Олеша, Нагнибеда, Окуджава и др. Все такие фамилии, независимо от происхождения, являются морфологически членимыми в русском языке, т. е. в них выделяется окончание -а.

Среди фамилий с ударным á после согласных есть как морфологически членимые, так и нечленимые, т. е. несклоняемые.

Несклоняемы фамилии французского происхождения: Дюма, Тома, Дега, Люка, Ферма, Гамарра, Петипа и др.

Фамилии иного происхождения (славянские, из восточных языков) склоняются по первому склонению, т. е. в них вычленяется ударное окончание -а: Митта — Митты, Митте, Митту, Миттой; сюда относятся: Сковорода, Кочерга, Кваша, Цадаса, Хамза и др.

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

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