причем методы оптимизации, основанные на этой самой теореме (абсолютно доказуемой с инструментальной точки зрения), на реальных массивах данных могут работать, а могут и нет в зависимости от выборки (причем предвидеть на какой выборке сработает, а на какой нет практически невозможно, можно только минимизировать количесво "несрабатываний"), тоесть налицо именно "описание реальности" в более или менее адекватной форме, а не формулировка того, как это есть на самом деле )