>>539
A=B を直接示す方法はすぐには分からないけど
A≠B と仮定すると、その仮定のおかげでA=Bがあっけなく示せてしまう
でもこれは矛盾なので、背理法により「実際に」A=Bが示せるということです