Category:X + y + z equals 1 implies xy + yz + zx less than Half