ある自然数を１０で割った商から余りの二倍を引くと、７の倍数になった。もとのある自然数は７の倍数であることを証明せよ。