>>693
-はただの見出し記号。マイナスではない。不適切だぞ>>692

xがyを割り切るとは、x = byとなるbが存在するということ。