aがbを割り切る ()