theorem :: XPRIMES2:7897

canceled;