theorem :: XPRIMES1:52

canceled;