Hyperbolic tree Poincaré-disk IS-A embedding