This can be done by calculating the total number of zeros in the region and checking that it is the same as the number of zeros found on the line.
Титчмарш и Ворос в 1987 году показали, что дзета-функция может быть разложена в произведение через свои нетривиальные нули в разложение Адамара.