theorem :: XPRIMES2:4707

canceled;