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