そもそもこんな初等数論の範疇で証明可能なら、とうの昔に誰かがもっとスマートな形で解いてるわ。