имеется ввиду теорема, выражающая K через gij