theorem :: XPRIMES2:2530

canceled;