Substituting the displayed matrices into makes every off-diagonal entry vanish. The two nonzero diagonal entries are opposites, the first being
Thus compatibility is equivalent to the Tzitzeica equation