まず、mとnはのどちらかは3でわりきれません。
そして、どちらも2条ですね。
なのでlにおいてl^が3で割った時の余りを調べます。
そうすることで、3の倍数の式なのかがわかりますね。
そして、lは3k-2、3k-1、3kで表せます。
そしてこの3つの式をl^に当てはめ、計算していき3でくくります。なぜなら3k-○という形にするためです。
そうすると、○に当てはまった数字は1と0でした。
しかし、もとに立てた3つの式では、2と1でしたね、なのでm^+n^は3の倍数ではない。つまり、3で割り切れない。ということになりました。
題意ではmまたはnが3で割り切れないと言ったので式になっても割り切れないですよね。
なので題意は真と言えるのです。
わかんなかったらすみません。