Text this: Pythagorean identity for polyharmonic polynomials