theorem :: XPRIMES2:9928

canceled;