в градуированном случае она была сформулирована еще Д. Гильбертом

http://libmeta.ru/resource/mathenc/publication/p6878