Про формулу: учился (и почти учусь сейчас, но это тонкости) в питерском вузе одном, на замечательном одном факультете довольно популярном. Так вот на нашем факультете так не любят писать учебники, а доступные пониманию учебники и вовсе. Потому с половиной предметов затык в том был, что в лучшем случае название теоремы иное, чем принято, или это нигде больше теоремой не считается, но часто и нигде кроме в лекциях этого преподавателя или его коллег с кафедры этого нет. Как будто секрет какой-то великий, а не знания, которые как бы должны быть свободными и принадлежать всем.
Так к чему я: это может особо нигде и не выделяться в что-то отдельное, либо иметь другое название в общепринятых кругах.
Но в принципе про троллинг допускаю возможность.