theorem :: XPRIMES2:8734

canceled;