theorem :: XPRIMES2:7968

canceled;