theorem :: INTEGRA1:1

canceled;