theorem :: XPRIMES1:1150

canceled;