theorem :: XPRIMES2:9672

canceled;