формальное упрощение

Мат. formal simplification