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