theorem :: XPRIMES2:9728

canceled;