a1=…=anなんだと思うんですが証明がつかえてます