Given the diagram at the right, which of the following must be true?