theorem :: XPRIMES2:7420

canceled;