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