追加するプログラムにK>0の条件が入っていますが、入らなくてもいいように思いますが、入れないと具合の悪いことがあるのでしょうか。この条件は無視しても、正解が得られましたが。

答える時は気にしなくてもできたかもしれませんが、
K=0で追加部分に来ることがあります。
購入[]は添字１からなのでK>０がないと正しくできないのだと思います。