| ((c+((2×Z)×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+((2×Z)×(((a1×c)+((a2×c)×c))+(a3×((c×c)×c)))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+((2×Z)×(((a1×c)+((a2×c)×c))+((a3×(c×c))×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+((2×Z)×(((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B+C) → (A×B)+(A×C) } |
| ((c+(((2×Z)×((a1×c)+((a2×c)×c)))+((2×Z)×(((a3×c)×c)×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B+C) → (A×B)+(A×C) } |
| ((c+((((2×Z)×(a1×c))+((2×Z)×((a2×c)×c)))+((2×Z)×(((a3×c)×c)×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+(((((2×Z)×a1)×c)+((2×Z)×((a2×c)×c)))+((2×Z)×(((a3×c)×c)×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+(((((2×Z)×a1)×c)+(((2×Z)×(a2×c))×c))+((2×Z)×(((a3×c)×c)×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+(((((2×Z)×a1)×c)+((((2×Z)×a2)×c)×c))+((2×Z)×(((a3×c)×c)×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+(((((2×Z)×a1)×c)+((((2×Z)×a2)×c)×c))+(((2×Z)×((a3×c)×c))×c)))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+(((((2×Z)×a1)×c)+((((2×Z)×a2)×c)×c))+((((2×Z)×(a3×c))×c)×c)))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((c+(((((2×Z)×a1)×c)+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c)))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A+(B+C) → (A+B)+C } |
| (((c+((((2×Z)×a1)×c)+((((2×Z)×a2)×c)×c)))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A+(B+C) → (A+B)+C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+(a2×(c×c)))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+((a2×c)×c))+(a3×((c×c)×c)))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+((a2×c)×c))+((a3×(c×c))×c))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a1×c)+(a2×(c×c)))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a1×c)+((a2×c)×c))+(a3×((c×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a1×c)+((a2×c)×c))+((a3×(c×c))×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a1×c)+((a2×c)×c))+(((a3×c)×c)×c)))) |
= | { A×(B+C) → (A×B)+(A×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a1×c)+((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B+C) → (A×B)+(A×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(a1×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((a1×c)+((a2×c)×c))×(a1×c))+((((a3×c)×c)×c)×(a1×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((a1×c)×(a1×c))+(((a2×c)×c)×(a1×c)))+((((a3×c)×c)×c)×(a1×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+(((a2×c)×c)×(a1×c)))+((((a3×c)×c)×c)×(a1×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+((((a3×c)×c)×c)×(a1×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×((a2×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)+((a2×c)×c))×((a2×c)×c))+((((a3×c)×c)×c)×((a2×c)×c))))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×((a2×c)×c))+(((a2×c)×c)×((a2×c)×c)))+((((a3×c)×c)×c)×((a2×c)×c))))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+(((((a1×c)×(a2×c))×c)+(((a2×c)×c)×((a2×c)×c)))+((((a3×c)×c)×c)×((a2×c)×c))))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((((a1×c)×a2)×c)×c)+(((a2×c)×c)×((a2×c)×c)))+((((a3×c)×c)×c)×((a2×c)×c))))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((((a1×c)×a2)×c)×c)+((((a2×c)×c)×(a2×c))×c))+((((a3×c)×c)×c)×((a2×c)×c))))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((((a1×c)×a2)×c)×c)+(((((a2×c)×c)×a2)×c)×c))+((((a3×c)×c)×c)×((a2×c)×c))))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((((a1×c)×a2)×c)×c)+(((((a2×c)×c)×a2)×c)×c))+(((((a3×c)×c)×c)×(a2×c))×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((((a1×c)×a2)×c)×c)+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c)))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A+(B+C) → (A+B)+C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+(((((a1×c)×a2)×c)×c)+(((((a2×c)×c)×a2)×c)×c)))+((((((a3×c)×c)×c)×a2)×c)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { A+(B+C) → (A+B)+C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+((((a1×c)+((a2×c)×c))+(((a3×c)×c)×c))×(((a3×c)×c)×c)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+((((a1×c)+((a2×c)×c))×(((a3×c)×c)×c))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+((((a1×c)×(((a3×c)×c)×c))+(((a2×c)×c)×(((a3×c)×c)×c)))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×((a3×c)×c))×c)+(((a2×c)×c)×(((a3×c)×c)×c)))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+((((((a1×c)×(a3×c))×c)×c)+(((a2×c)×c)×(((a3×c)×c)×c)))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+(((a2×c)×c)×(((a3×c)×c)×c)))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+((((a2×c)×c)×((a3×c)×c))×c))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+(((((a2×c)×c)×(a3×c))×c)×c))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+((((((a2×c)×c)×a3)×c)×c)×c))+((((a3×c)×c)×c)×(((a3×c)×c)×c))))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+((((((a2×c)×c)×a3)×c)×c)×c))+(((((a3×c)×c)×c)×((a3×c)×c))×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+((((((a2×c)×c)×a3)×c)×c)×c))+((((((a3×c)×c)×c)×(a3×c))×c)×c)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((((a1×c)×a3)×c)×c)×c)+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)))) |
= | { A+(B+C) → (A+B)+C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+((((((a1×c)×a3)×c)×c)×c)+((((((a2×c)×c)×a3)×c)×c)×c)))+(((((((a3×c)×c)×c)×a3)×c)×c)×c))) |
= | { A+(B+C) → (A+B)+C } |
| ((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c))) |
= | { A+(B+C) → (A+B)+C } |
| (((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c)))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| ((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c)))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| (((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c)))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| ((((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c)))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| (((((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c)))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| ((((((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c)))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| (((((((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+((((a1×c)×a1)×c)+((((a2×c)×c)×a1)×c)))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
= | { A+(B+C) → (A+B)+C } |
| ((((((((((((c+(((2×Z)×a1)×c))+((((2×Z)×a2)×c)×c))+(((((2×Z)×a3)×c)×c)×c))+(((a1×c)×a1)×c))+((((a2×c)×c)×a1)×c))+(((((a3×c)×c)×c)×a1)×c))+((((a1×c)×a2)×c)×c))+(((((a2×c)×c)×a2)×c)×c))+((((((a3×c)×c)×c)×a2)×c)×c))+(((((a1×c)×a3)×c)×c)×c))+((((((a2×c)×c)×a3)×c)×c)×c))+(((((((a3×c)×c)×c)×a3)×c)×c)×c)) |
| ((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(1×a1×c×a1×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×c×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×c×c×a1×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a2×c×c×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a2×c×c×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a2×c×a1×c×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a2×c×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a2×a1×c×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×a1×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×c×a1×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a3×c×c×c×a1×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a3×c×c×a1×c×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a3×c×c×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a3×c×a1×c×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×a1×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×a1×c×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×a1×c×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×c×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×c×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×c×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a2×a2×c×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×c×a2×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×a2×c×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×a2×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)) |
= | { B+A → A+B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×a3×c×c×c×c×c)) |
= | { B×A → A×B } |
| ((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c)) |
| (((((i×Re(Z))+(j×Im(Z)))×((i×Re(Z))+(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B+C) → (A×B)+(A×C) } |
| ((((((i×Re(Z))+(j×Im(Z)))×(i×Re(Z)))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((((i×Re(Z))×(i×Re(Z)))+((j×Im(Z))×(i×Re(Z))))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| (((((((i×Re(Z))×i)×Re(Z))+((j×Im(Z))×(i×Re(Z))))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| (((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| (((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×(j×Im(Z)))+((j×Im(Z))×(j×Im(Z)))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| (((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+((((i×Re(Z))×j)×Im(Z))+((j×Im(Z))×(j×Im(Z)))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| (((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+((((i×Re(Z))×j)×Im(Z))+(((j×Im(Z))×j)×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A+(B+C) → (A+B)+C } |
| ((((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B+C) → (A×B)+(A×C) } |
| (((((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(i×Re(Z)))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| (((((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))×(i×Re(Z)))+((((j×Im(Z))×j)×Im(Z))×(i×Re(Z))))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| (((((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))×(i×Re(Z)))+((((i×Re(Z))×j)×Im(Z))×(i×Re(Z))))+((((j×Im(Z))×j)×Im(Z))×(i×Re(Z))))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| (((((((((i×Re(Z))×i)×Re(Z))×(i×Re(Z)))+((((j×Im(Z))×i)×Re(Z))×(i×Re(Z))))+((((i×Re(Z))×j)×Im(Z))×(i×Re(Z))))+((((j×Im(Z))×j)×Im(Z))×(i×Re(Z))))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+((((j×Im(Z))×i)×Re(Z))×(i×Re(Z))))+((((i×Re(Z))×j)×Im(Z))×(i×Re(Z))))+((((j×Im(Z))×j)×Im(Z))×(i×Re(Z))))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+((((i×Re(Z))×j)×Im(Z))×(i×Re(Z))))+((((j×Im(Z))×j)×Im(Z))×(i×Re(Z))))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+((((j×Im(Z))×j)×Im(Z))×(i×Re(Z))))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))+(((j×Im(Z))×j)×Im(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))+(((i×Re(Z))×j)×Im(Z)))×(j×Im(Z)))+((((j×Im(Z))×j)×Im(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((((i×Re(Z))×i)×Re(Z))+(((j×Im(Z))×i)×Re(Z)))×(j×Im(Z)))+((((i×Re(Z))×j)×Im(Z))×(j×Im(Z))))+((((j×Im(Z))×j)×Im(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C)))) |
= | { (A+B)×C → (A×C)+(B×C) } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((((i×Re(Z))×i)×Re(Z))×(j×Im(Z)))+((((j×Im(Z))×i)×Re(Z))×(j×Im(Z))))+((((i×Re(Z))×j)×Im(Z))×(j×Im(Z))))+((((j×Im(Z))×j)×Im(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+((((((((i×Re(Z))×i)×Re(Z))×j)×Im(Z))+((((j×Im(Z))×i)×Re(Z))×(j×Im(Z))))+((((i×Re(Z))×j)×Im(Z))×(j×Im(Z))))+((((j×Im(Z))×j)×Im(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+((((((((i×Re(Z))×i)×Re(Z))×j)×Im(Z))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z)))+((((i×Re(Z))×j)×Im(Z))×(j×Im(Z))))+((((j×Im(Z))×j)×Im(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+((((((((i×Re(Z))×i)×Re(Z))×j)×Im(Z))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z)))+(((((i×Re(Z))×j)×Im(Z))×j)×Im(Z)))+((((j×Im(Z))×j)×Im(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C)))) |
= | { A×(B×C) → (A×B)×C } |
| ((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+((((((((i×Re(Z))×i)×Re(Z))×j)×Im(Z))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z)))+(((((i×Re(Z))×j)×Im(Z))×j)×Im(Z)))+(((((j×Im(Z))×j)×Im(Z))×j)×Im(Z))))+((i×Re(C))+(j×Im(C)))) |
= | { A+(B+C) → (A+B)+C } |
| (((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((((i×Re(Z))×i)×Re(Z))×j)×Im(Z))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z)))+(((((i×Re(Z))×j)×Im(Z))×j)×Im(Z))))+(((((j×Im(Z))×j)×Im(Z))×j)×Im(Z)))+((i×Re(C))+(j×Im(C)))) |
= | { A+(B+C) → (A+B)+C } |
| ((((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+((((((i×Re(Z))×i)×Re(Z))×j)×Im(Z))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z))))+(((((i×Re(Z))×j)×Im(Z))×j)×Im(Z)))+(((((j×Im(Z))×j)×Im(Z))×j)×Im(Z)))+((i×Re(C))+(j×Im(C)))) |
= | { A+(B+C) → (A+B)+C } |
| (((((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((i×Re(Z))×i)×Re(Z))×j)×Im(Z)))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z)))+(((((i×Re(Z))×j)×Im(Z))×j)×Im(Z)))+(((((j×Im(Z))×j)×Im(Z))×j)×Im(Z)))+((i×Re(C))+(j×Im(C)))) |
= | { A+(B+C) → (A+B)+C } |
| ((((((((((((((i×Re(Z))×i)×Re(Z))×i)×Re(Z))+(((((j×Im(Z))×i)×Re(Z))×i)×Re(Z)))+(((((i×Re(Z))×j)×Im(Z))×i)×Re(Z)))+(((((j×Im(Z))×j)×Im(Z))×i)×Re(Z)))+(((((i×Re(Z))×i)×Re(Z))×j)×Im(Z)))+(((((j×Im(Z))×i)×Re(Z))×j)×Im(Z)))+(((((i×Re(Z))×j)×Im(Z))×j)×Im(Z)))+(((((j×Im(Z))×j)×Im(Z))×j)×Im(Z)))+(i×Re(C)))+(j×Im(C))) |
| ((1×i×Re(Z)×i×Re(Z)×i×Re(Z))+(1×j×Im(Z)×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×j×Im(Z)×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×j×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×i×Re(Z)×i×Re(Z)×i×Re(Z))+(1×Im(Z)×j×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×i×Re(Z)×i×Re(Z))+(1×Im(Z)×j×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×Re(Z)×i×i×Re(Z))+(1×Im(Z)×j×i×Re(Z)×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Im(Z)×j×i×Re(Z)×i×Re(Z))+(1×Re(Z)×i×Re(Z)×i×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×i×j×Re(Z)×i×Re(Z))+(1×Re(Z)×i×Re(Z)×i×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×i×Re(Z)×j×i×Re(Z))+(1×Re(Z)×i×Re(Z)×i×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×i×Re(Z)×i×i×Re(Z))+(1×Im(Z)×i×Re(Z)×j×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×i×i×i×Re(Z))+(1×Im(Z)×i×Re(Z)×j×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×i×i×Re(Z)×i)+(1×Im(Z)×i×Re(Z)×j×i×Re(Z))+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Im(Z)×i×Re(Z)×j×i×Re(Z))+(1×Re(Z)×Re(Z)×i×i×Re(Z)×i)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×j×i×Re(Z))+(1×Re(Z)×Re(Z)×i×i×Re(Z)×i)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×i×j×Re(Z))+(1×Re(Z)×Re(Z)×i×i×Re(Z)×i)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×Re(Z)×Re(Z)×i×i×Re(Z)×i)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×i×i×Re(Z)×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×i×Re(Z)×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×i×Re(Z)×j×Im(Z)×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×j×Im(Z)×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×Im(Z)×j×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Im(Z)×i×j×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×j×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×i×j×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×Re(Z)×i×j)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×i×Re(Z)×j)+(1×Im(Z)×Re(Z)×i×Re(Z)×i×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×Re(Z)×i×j)+(1×Im(Z)×Re(Z)×i×Re(Z)×i×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Re(Z)×i×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×Re(Z)×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×j×Im(Z)×j×Im(Z)×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×j×j×Im(Z)×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×j×Im(Z)×j×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×j×j×i×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×j×i×j×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×i×j×j×Re(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×i×j×Re(Z)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Im(Z)×i×j×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×i×Re(Z)×i×Re(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×i×Re(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×Re(Z)×i×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×i×i×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×i×i×Im(Z)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Re(Z)×Re(Z)×i×i×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Re(Z)×Re(Z)×i×Im(Z)×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Re(Z)×Re(Z)×Im(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Re(Z)×Im(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×j×Im(Z)×i×Re(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×j×i×Re(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×i×j×Re(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×i×Re(Z)×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×j×Im(Z)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×j×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Im(Z)×i×j×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×i×Re(Z)×j×j)+(1×Im(Z)×Re(Z)×Im(Z)×i×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Re(Z)×Im(Z)×i×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Im(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×i×Re(Z)×j×Im(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×j×Im(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×i×Im(Z)×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Im(Z)×i×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Re(Z)×i×j×Im(Z)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×j×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×i×Im(Z)×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Im(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×j×Im(Z)×j×Im(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×j×j×Im(Z)×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×j×Im(Z)×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×j×j×j×Im(Z))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×j×j×Im(Z)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Im(Z)×j×j×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Im(Z)×j×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×j×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×j×Im(Z)×j×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×j×Im(Z)×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×i×Re(C))+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×i×Re(C))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(C))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(C))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×i×Re(C))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×i×Re(C))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×i×Re(C))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)+(1×j×Im(C))) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(C))+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(C))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×j×Im(C))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(C))+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(C))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×j×Im(C))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×j×Im(C))+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×j×Im(C))+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×j×Im(C))+(1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B×A → A×B } |
| ((1×Im(C)×j)+(1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(C)×j)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i×i×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Re(Z)×Re(Z)×i×i×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Re(Z)×i×j×j)+(1×Im(Z)×Im(Z)×Im(Z)×j×j×j)) |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×-1×Re(Z)×i)+(1×Re(C)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(Z)×Im(Z)×-1×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×Im(Z)×-1×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×-1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×-1×Re(Z)×i)+(1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(Z)×Im(Z)×-1×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×Im(Z)×-1×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×-1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Im(Z)×Im(Z)×Re(Z)×-1×i)+(1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Im(Z)×Im(Z)×-1×Re(Z)×i)+(1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(1×Im(Z)×Im(Z)×-1×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×Im(Z)×-1×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(1×-1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×Im(Z)×-1×j)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(Z)×Im(Z)×-1×Im(Z)×j)+(1×Im(C)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B+A → A+B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×Im(Z)×-1×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×Im(Z)×-1×Im(Z)×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(1×-1×Im(Z)×Im(Z)×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |
= | { B×A → A×B } |
| ((1×Re(C)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(-1×1×Im(Z)×Im(Z)×Re(Z)×i)+(1×Re(Z)×Re(Z)×Re(Z)×i)+(1×Im(C)×j)+(-1×1×Im(Z)×Im(Z)×Im(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)+(1×Im(Z)×Re(Z)×Re(Z)×j)) |