 Let 0 "i" are pieces and where the above product is freely reduced as written, then "m" ≥ "p".That is, no defining relator can be written as a reduced product of fewer than "p" pieces.Let "q" ≥ 3 be an integer.