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