theorem :: XPRIMES2:7928

canceled;