theorem :: XPRIMES1:32

canceled;