theorem :: XPRIMES2:8972

canceled;