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