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