name projective coordinates with a4=-3
assume a = -3
variable X
variable Y
variable Z
satisfying x = X/Z
satisfying y = Y/Z