Yes, you are correct, the label in the picture states the product contains Yellow #5, Red #40 and Blue #1.
Below is a table that may help; it shows all of the names and their synonyms. For example, E133 = FD&C Blue #1 = Brilliant Blue FCF. So to answer the question, the red sugar does contain a very tiny amount of blue food coloring (E133) and it is both Blue #1 and Brilliant Blue FCF because they are different names for the same color.