この時のPXは33行目でXに足すための値になってるので、ループの度にXに足される（ここの足されるというのがポイント）ので正常に動きます。 この辺も実際に流れを追ってみて、とくにPXとXがどの段階でいくつになっているかを調べてみるとわかってくるんじゃないかなって思いますよ。