theorem :: POLYFORM:2

canceled;