桁数を問わず、任意の自然数と、適当に桁を並び替えた数の差は必ず9の倍数になるということを証明する方法はありますか?