If a convex plane figure P can be decomposed into finitely many nonove
rlapping convex figures such that one of these pieces is similar to P,
then P is a polygon. Also, if P can be decomposed into infinitely man
y nonoverlapping sets such that each of the pieces is similar to P, th
en P is a polygon.