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