global deducibility

Мат. выводимость в целом