2^nを3で割ると2余ることを証明せよ。
ただし、nは自然数とする。