[R. Gerbicz]

Originally Posted by Greenbank

Definition, (k,n) is a hexadecaproth if (k,n), (k,n+1) and (k,n+2) are octoproths!

Small exercise:
Prove that if (k,n) and (k,n+2) is an octoproth then (k,n+1) is also an octoproth!