name extended coordinates with a=-1
assume a = -1
variable X
variable Y
variable Z
variable T
satisfying x = X/Z
satisfying y = Y/Z
satisfying x*y = T/Z
