Azt hiszem feltételezhetjük, hogy az ikerprím-sejtés igaz.

És a feltétel ennél lazább: nem kell feltétlenül n-3-nak is prímnek lennie, csak n-3, n-5, n-7 valamelyikének.