theorem :: INTEGRA1:2

canceled;