theorem :: XPRIMES2:322

canceled;