Я могу заверить вас, что ни один теоретик строк не будет заинтересован в работе над теорией строк, если бы он был как -то навсегда за пределами тестируемости. Это больше не будет заниматься наукой.