theorem :: XPRIMES2:7388

canceled;