The expression a⁹ - 1 = (a³ - 1)​