Аналитическое доказательство неинтегрируемости АВС-течения при $A=B=C$

Доказывается отсутствие вещественно-аналитического первого интеграла у известной системы, описывающей стационарное течение идеальной несжимаемой жидкости с периодическими граничными условиями и полем скорости, коллинеарным своему ротору (АВС-течение) в случае, когда все три параметра в системе одинаковы. Ранее было известно компьютерное доказательство этого факта.