theorem :: XPRIMES2:2928

canceled;