Formal target: Corpus.OEIS56777.comesFromPrimeQuadruple_of_a

All members of the sequence A56777 come from prime quadruples.

Exact formal statement

∀ {n : Nat}, Corpus.OEIS56777.A n → Corpus.OEIS56777.ComesFromPrimeQuadruple n

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

Environment availability: available.