theorem :: XPRIMES2:588

canceled;