Проверка числа на простоту, метод Миллера Опции

[Тёмный Эльф]

Существует ли алгоритм проверки числа на простоту? Я слышала, что можно отличить простое число от составного с помощью метода Миллера. В чем он заключается?

[Гость]

program abc;
var n,y: Integer; a: String[9];
begin readln(n); y:= 2; a:='Простое';
While y<=n div y do
If n mod y = 0 then begin a:= 'Составное'; break end
Else y:=y + 1;
Writeln(a);
end.