theorem :: XPRIMES2:4991

canceled;