Yes it is Revenge X 13, but it is not the lowest value that works for that symbol. There is an infinite amount of numbers that work for the same symbol and they all have a common factor. I just list the simplest forms of these factors for simplicity.