すべての自然数を、素数と高々 k 個の素数の積である数との和で表すことのできるような、k が存在することを証明してくれ〜