theorem :: XPRIMES2:2625

canceled;