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