theorem :: XPRIMES1:40

canceled;