Formal target: Corpus.OEIS76495.conjecture

At present, the 0 entry for $n = 5$ is only a conjecture.

Exact formal statement

Eq.{1} (Corpus.OEIS76495.a 5) 0

This target is a formal statement, not a proof of the problem.

Environment availability: available.