717. Формули зведення