x
y
x + y
x − y
0
対角線の 2 乗和は、4 辺の 2 乗和に等しい