優高度合成数()は自然数 "n" であって、"n"より小さいすべての自然数"k、nより大きいすべての自然数kに対して"