immediate derivability

Мат. непосредственная выводимость