Заявление в суд новосибирец подал в феврале 2020 года. По словам Авдыева, «новизна предлагаемого им решения состоит в наглядности, краткости, использовании знаний школьной программы вместо специальных знаний, что делает доказательство Теоремы понятной для миллиардов людей со школьным образованием по всему миру».
Как сообщает пресс-служба суда, ведомство отказало в принятии иска, так как подобные заявления не подлежат рассмотрению в суде согласно нормам гражданско-процессуального кодекса.