>>403
面白い解法ですね。これは有名な解法でしょうか？知りませんでした。

m,n,lを自然数としたとき、「m+n+l, mn+nl+lm, mnlが5の倍数⇒m,n,lが5の倍数」を証明せよ。

にも使えますね。