theorem :: XPRIMES2:6897

canceled;