当a:b=m:n时,满足n与m互质条件下,a能够被m整除,b能够被n整除.请问如何证明,