447. § 12. Формули додавання та наслідки з них