theorem :: SETWISEO:5

canceled;