“…Не трудно заметить, что (A, A, A) = (Aξ, A, A) = (A, Aξ, A) = (A, A, Aξ) = 0.Тогда тождества достаточно проверять только для тех наборов однородных элементов, где по крайней мере два элемента из Aξ. Сначала рассмотрим тождество(16). Для элементов aξ, bξ, c получим(aξ * bξ) * c − aξ * (bξ * c) + (−1) |bξ||c| ((aξ * c) * bξ − aξ * (c * bξ)) = −2(−1) |b|+|b||c| ac • b − 4(−1) |a||b|+|b|+|c||a| bc • a+ 2(−1) |c|+|b|+|c| a • bc + 4(−1) |c|+|b|+|c|+|a||b|+|a||c| bc • a− 2(−1) |c|+|b|+|b||c|+|c| ac • b − 4(−1) |c|+|b|+|b||c|+|c|+|b||a|+|b||c| b • ac+ 2(−1) |b||c|+|c|+|c|+|b| a • cb + 4(−1) |b||c|+|c|+|c|+|b|+|a||c|+|a||b| cb • a = −4(−1) |b| ( (−1) |b||c| ac • b − a • bc − (−1) |a||b|+|a||c| bc • a + (−1) |a||b| b • ac ) = 0.Для aξ, b, cξ аналогично.…”