deducible formula

Мат. выводимая формула