This note turns the nine-term, lag-eight recurrence for OEIS A026771 into an exact symbolic certificate.
What the record establishes
The manuscript reduces the difference between the two sides to a polynomial identity and records the applicable range and boundary conditions. The result can be checked algebraically without relying on numerical spot tests.
Public materials
View the public record and manuscript on Zenodo ↗
Current external status
Richard J. Mathar assessed the A026124 and A026771 recurrences as consequences of standard, established methods. No novelty or priority claim is made; this is a public, reproducible certificate.