theorem :: XPRIMES1:388

canceled;