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