[HK4HG] x, y, and z are all positive integers.