theorem :: XPRIMES2:2420

canceled;