theorem :: XPRIMES2:388

canceled;