theorem :: XPRIMES2:4904

canceled;