theorem :: XPRIMES2:4985

canceled;