[理工] 離散習題1-117

[qsc002163 (LZR)]

https://i.imgur.com/U5LtSGG.jpg
想請問畫箭頭的那個部分
為什麼可以推出那行呢

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.38.242.145 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1562807169.A.34D.html
推 ekids1234: x | x 的倍數假設叫 ax , x | x 的另一個倍數假設叫 bx
→ ekids1234: 那這樣 x | bx - ax 也會是成立的
→ qsc002163: 懂了 謝謝你