加法における素数です
全ての自然数は1の有限回の加法により構成可能です