C1: (x * y) = 1