Construction of Identities for Sums of Squares

From sum-of-squares formulas of sizes $[r, s, n]$ and $[r, s, n]$ we construct a formula of size $[r + r, 2ss, 2nn]$.