((xy+z)−z)/yz∈C−R。