Да, верно.
Красная и зелёная прямые симметричны относительно оси AB, так как прямые красного и зелёного цвета находятся на одинаковом расстоянии от оси AB, и при перегибании листа по оси AB прямые совпадут.