underivable formula

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