theorem :: XPRIMES2:928

canceled;