| ( | X | + | 1 | ) | ( | X | + | 2 | ) | ( | X | + | 4 | ) | + | ( | X | + | 2 | ) | ( | X | + | 4 | ) | X | + | ( | X | + | 1 | ) | ( | X | + | 4 | ) | X | = | X | ( | X | + | 1 | ) | ( | X | + | 2 | ) |
| Left side of the equation = | X | ( | X | + | 2 | ) | ( | X | + | 4 | ) | + | 1 | ( | X | + | 2 | ) | ( | X | + | 4 | ) | + | ( | X | + | 2 | ) | ( | X | + | 4 | ) | X | + | ( | X | + | 1 | ) | ( | X | + | 4 | ) | X |
| = | X | X | ( | X | + | 4 | ) | + | X | × | 2 | ( | X | + | 4 | ) | + | 1 | ( | X | + | 2 | ) | ( | X | + | 4 | ) | + | ( | X | + | 2 | ) | ( | X | + | 4 | ) | X |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | ( | X | + | 4 | ) | + | 1 | ( | X | + | 2 | ) | ( | X | + | 4 | ) |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | X | × | 2 | × | 4 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | X | × | 8 | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 8 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 8 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 8 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 8 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 12 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 12 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 12 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 14 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 14 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 14 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 14 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 14 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 22 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 22 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 22 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 22 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 22 | X | + | 1 |
| = | X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 26 | X | + | 1 |
| X | X | X | + | X | X | × | 4 | + | X | × | 2 | X | + | 26 | X | + | 1 | = | X | ( | X | + | 1 | ) | ( | X | + | 2 | ) |
| Right side of the equation = | X | X | ( | X | + | 2 | ) | + | X | × | 1 | ( | X | + | 2 | ) |