Зададимся вопросом, существует ли отличие простых чисел, от чисел составных?
Конечно, кроме свойства делимости их только на единицу и себя?
Если такое отличие будет найдено, то на основании этого отличия можно будет определять, простое рассматриваемое число или нет.
Любое составное число, не содержащее в своём составе сомножителей

может быть представлено биквадратным уравнением, посредством решения которого можно найти корни такого уравнения, при подстановки которых в составленное уравнение обеспечивается результат, равный рассматриваемому числу.
Раз возможно такое при использовании мод 2, то несомненно такое же возможно и с использованием других модулей, при выполнении тех же условий.
Все составные числа, не содержащие сомножителей

и

могут быть представлены биквадратными уравнениями посредством модулей

и так далее.
Удобно использовать модули

и

.
Чем больше модуль, тем большее количество чисел выпадают из рассмотрения.
Для упрощения выражений можно выражать уравнения в виде не чисел, а их номеров, которые определяются как целочисленные частные от деления чисел на выбранные модули, с прибавлением к числам, или вычетом от чисел единицы.
Поэтому каждый номер любого составного числа, не содержащего сомножителей

и

можно выразить вариантами:

; (1)

; (2)
Становится ясно, что если составное число можно, то простое число не может быть так обеспечено одновременно,ибо в таком случае оно становится составным.
На основании изучения закономерностей, характерных для составных чисел разработана "Методика определения делимости чисел натурального числового ряда и её практическое применения", которая позволяет детерминированным методом определять простое или нет рассматриваемое число, либо методом его факторизации, либо иллюстрацией невозможности одновременного представления простого числа в виде формул 1 и 2.
Имеется ввиду с целочисленными координатами.
Но до сих пор не написана программа по реализации данной методике.
Частично программа написан Белых С.А., которая свидетельствует о эффективности методике, но она не адаптирована для больших чисел.
Если возникнет заинтересованность, постараюсь продолжить.