Зацикливаться не надо ни на чем. Но программку бы иметь хотелось. Такая программа могла бы содержать понятные и простые инструменты для проверки основных методик, и не только проверки, но и поиска новых доказательств/опровержений. В принципе это не так уж и сложно, особенно если четко понимать действие метода, его алгоритм.