theorem :: XPRIMES2:8927

canceled;