Considerando que o bem x é um bem normal, substituto do bem z, e complementar do bem y, e que o bem y é complementar do bem z: