additivity theorem for sum of squares ［1件マッチ］