x = 2y + 2
, где y = F(x)
-> 3x - 1 = 3 (2y + 2) - 1 = 6y + 5 = y (mod 5)
edit: если вы хотите, чтобы это оценивалось для списка основных значений mod 5 [0,1,2,3,4], просто оцените 2y + 2 для каждого из них, и что Вы получаете [2,4,1,3,0]. Что, если вы снова подключитесь к 3x-1, вы получите [0,1,2,3,4], как и ожидалось.