theorem :: XPRIMES2:7995

canceled;