Действительно, орфографических оснований для прописной буквы нет.
Сочетания типа по теореме X являются скорее обстоятельством причины (≈ «поскольку такова теорема Х»), нежели ссылкой на источник информации; теорема может быть приведена в разных источниках, созданных разными авторами. Конструкции вроде по словам учёных или по расчётам кого-то заключают в себе субъективность, то есть высказывание основано на мнении, данных или расчётах, которые могут быть подвержены изменению интерпретации или оценке. Такая субъективность характерна для вводных конструкций.
При этом сочетания типа по теореме Х могут быть выделены запятыми, как и любые другие обстоятельства, для попутного пояснения или смыслового выделения.
В биинфинитивных предложениях всё именно так и есть: сказуемое составное именное с формальной связкой, в настоящем времени она имеет нулевую форму, а в других временах и наклонениях такие предложения, как правило, и не встречаются, хотя возможно, например: Споткнуться было проиграть. Намного употребительнее варианты с полузнаменательной связкой: Споткнуться означало проиграть.
Ничего удивительного в том, что именной компонент выражен инфинитивом, нет: ведь инфинитив и возникал как именная форма глагола, способная выполнять все функции имени. Отсюда побочный, но важный вывод: надежным критерием для разграничения составных именных и составных глагольных сказуемых является не тип присвязочного компонента, а тип связки.
А вот предложения типа Наша задача — помочь для анализа труднее, потому что это предложения-перевертыши. В настоящем времени создается полное впечатление, что задача — подлежащее, помочь — сказуемое (и тогда оно тоже составное именное). Но стоит попытаться перевести предложение в план прошедшего времени, как оказывается, что существительное норовит принять форму творительного падежа: Наша задача была помочь — сомнительно, а вот Нашей задачей было помочь — намного удовлетворительнее. При замене связки на полузнаменательную существительное может быть только в Т. п.: Нашей задачей оказалось просто помочь друзьям. Между тем нам известно, что конкуренция форм И. п. и Т. п. характерна как раз для именной части сказуемого (Маша артистка — Маша была артистка / артисткой — Маша оказалась артисткой) и исключена в подлежащем. Следовательно, в таких предложениях, как Наша задача — помочь, грамматическое устройство вступает в противоречие с коммуникативной структурой. С коммуникативной точки зрения существительное в И. п. является темой, состав которой воспринимается как подлежащее, а с грамматической точки зрения оказывается, что сущ. в И. п. — именной компонент сказуемого, а подлежащее — инфинитив.
Составное именное сказуемое: значит — полузнаменательная связка (= означает), простить — именной компонент. Инфинитив в роли именного компонента вполне возможен, так как инфинитив и есть именная форма глагола.
Это номинативное (назывное) предложение, его главный член — количественно-именное словосочетание чуть-чуть солнца плюс нулевая формальная связка (в прошедшем времени она «всплывет»: Солнца было по чуть-чуть).
«Прекратит работу» — это трансформация составного глагольного сказуемого «прекратит работать», где прекратит — фазисная связка. Замена инфинитива на отглагольное имя действия ничего не меняет.
В предложении Стороны остаются каждая при своем мнении сказуемое остаются при своем мнении. В нем остаются — полузнаменательная связка, при своем мнении — устойчивое словосочетание, именная часть сказуемого.
Тире между подлежащим и сказуемым-существительным ставится на месте отсутствующей связки. Поскольку в приведенном предложении связка присутствует (есть — форма настоящего времени глагола быть), для постановки тире нет оснований: Правильно помысленное есть начало открытия.
Правильно: недоказанность, неявившиеся свидетели, но: не явившиеся в суд свидетели, по неустановленным причинам, причиной нерассмотрения, неявка, неявившихся, из-за необеспечения, незаинтересованность, в связи с недоставлением, нецелевое, о незаинтересованности. Правила читайте в разделе «Правила».
