theorem :: XPRIMES2:6928

canceled;