theorem :: XPRIMES2:972

canceled;