两数的公约数一定整除最大公约数,也只有公约数能整除最大公约数.这个命题怎么证明?