Файл:Real_projective_line.svg loading ...