theorem :: POLYFORM:20

canceled;