theorem :: XPRIMES2:797

canceled;