bの素因子がsを割ることはいっているけどsがbで割り切れることの証明はしていないということ。
多分は今の君には気付けないことかもしれない。