theorem :: XPRIMES2:805

canceled;