m,nを自然数としたとき、「m+n,mnが5の倍数⇒m,nが5の倍数」が真
を対偶で証明できたんですが、ちょっとめんどうだったんで、
他にもっと簡単にできるオーソドックスな解法ないでしょうか？