theorem :: XPRIMES2:9972

canceled;