Цитата
У точек из исходного множества первая координата вовсе не обязательно равна нулю.

Хотела написать, что первая координата рациональна

D=B в объединении с C