theorem :: XPRIMES2:672

canceled;