Suppose that f satisfies the following: (1) the polyharmonic equation triangle(m) f = triangle(triangle(m-1) f ) = phi(m) (phi(m) is an element of C((B-n) over bar, R-n)), (2) the boundary conditions triangle(0) f = phi(0), triangle(1) f = phi 1, ..., triangle(m-1) f = phi(m-1 )on Sn-1 (phi (j) is an element of C(Sn-1, R-n) for j is an element of {0, 1, ... , m - 1} and Sn-1 denotes the boundary of the unit ball B-n), and (3) f (0) = 0, where n >= 3 and m >= 1 are integers. Initially, we prove a Schwarz type lemma and use it to obtain a Heinz type inequality of mappings satisfying the polyharm...