Раздел § 17. Наслідки із формул додавання