theorem :: XPRIMES2:887

canceled;