theorem :: XPRIMES2:2588

canceled;