theorem :: CLOSURE3:7

canceled;