theorem :: XPRIMES2:9872

canceled;