Каждое простое одинаково вероятно
Сначала находятся все простые в диапазоне, потом из этого списка берётся одно. Это важно, потому что простые редеют с ростом чисел: брать число и проверять его никого бы не выделяло, но у верхнего края большого диапазона заняло бы куда больше времени.
Двойка — единственное чётное простое, и она в списке наравне со всеми: именно поэтому диапазон начинается с неё.