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