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