If all squares are rectangles, and some rectangles are red, which of the following statements must logically be true?