「ある数xが3の倍数→xの各位の数の和は3の倍数」
(たとえばx＝693は3の倍数、6＋9＋3＝18も3の倍数)

の必要十分性はどうやって証明するんですか？