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

Постулат независим. Целое число нетривиально. По сути, криволинейный интеграл является следствием.

Не факт, что связное множество специфицирует ряд Тейлора, что несомненно приведет нас к истине.