話蒸し返すようで悪いけどこれ↓は?

x^2+y^2=1
⇔x*x+y*y=1
⇔(x+x+・・・+x)+(y+y+・・・・+y)=1