непосредственная подформула

Мат. direct subformula