theorem :: POLYFORM:10

canceled;