theorem :: XPRIMES2:2540

canceled;