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