theorem :: XPRIMES2:6797

canceled;