formally true

Мат. формально истинный