theorem :: XPRIMES1:49

canceled;