В производстве Суда по интеллектуальным правам есть заявление гражданина РФ о признании недействительным решения Роспатента, касающегося отказа в выдаче патента на промобразец по заявке гражданина РФ. На патентуемом изделии приведено математическое доказательство Великой теоремы Ферма, "недостоверное", вводящие в заблуждение", попирающее "основы общественной морали и нравственности" - так полагает Роспатент. Заявитель, со своей стороны, уличил Роспатент в заведомо ложной экспертизе ссылаясь на ФЗ N 73-ФЗ "О государственной судебно-экспертной деятельности в РФ".