theorem :: XPRIMES2:7340

canceled;