x>0はx=2の必要条件である理由が分かりません。

だってx>1でもx=2でOKじゃないですか。