证明:若abc,且c=a十b,则c mod a=b。