theorem :: XPRIMES2:7992

canceled;