theorem :: COUNTERS:40

canceled;