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