theorem :: XPRIMES2:8928

canceled;