theorem :: XPRIMES2:2503

canceled;