th(P/Q) ~h(P) ގ(P/Q) (P) @