(a⁷ + 6) (a⁷ + 3) - (a⁷ + 5) (a⁷ + 4)