Формулы приведения

Первоначальная идея принадлежит Светлане Клавдиевне Гоглевой. Я только добавил автоматическую проверку