X12 + X22 + X32 + X42 = 1