4 aとbが互いに素で、bcがaで割り切れる時、cはaで割り切れることを証明せよ。