Ну это да... согласна... Вы абсолютно правы...
но получается:

np-q<=m<=np+p и обычно оказывается равным np. (подумала, что здесь этого будет достаточно) (хотя, безусловно, может быть и два наивероятнейших числа, если np+p - целое число)