theorem :: XPRIMES2:7370

canceled;