Является ли множество векторов пространства группой по сложению? Если ответ «да», проверить, будет ли множество векторов, параллельных оси ординат, её подгруппой?