Jhevon has suggest twice now that you prove the contrapositive: tha tif a does NOT divide b, then does not divide . Why have you not even tried that?
If a does not divide b then b= ma+ k for some k greater than 0 and less than a. . Can you prove that is not a multiple of ?