theorem :: XPRIMES2:895

canceled;