аналитически истинный

Мат. analytically true